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

by A M Turing
Venue:Proc. Lond. Math. Soc., 2nd Series