On Computable Numbers, with an Application to the Entscheidungsproblem.
Proceedings of the London Mathematical Society, 2(42):230-265, 1936.
Alan M. Turing.
[doi]  [BibTeX]