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

by A M Turing
Venue:Proceedings of the London Mathematical Society