Changed example to a paper of Turing