On computable numbers, with an application to the Entscheidungsproblem (1936)

by A Turing
Venue:Proc. London Math. Soc. Ser