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