On computable numbers : with an application to the Entscheidungsproblem
Article, English, 1936
Proceedings of the London Mathematical Society.
Mathematical Society, London, 1936