Britton, J. L. Pure mathematics - Amsterdam North Holland Publishing 1992 - xxii, 287p. - Collected works of A. M. Turing . ISBN: 0-444-88059-3