Collected works of A.M. Turing - Turing, Alan 1912-1954 (North-Holland, 1992)