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

by A Turing
Venue:Proceedings of the London Mathematical Society