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