Turing
, Alan M., On Computable Numbers, with an Application to the {E}ntscheidungsproblem, in: Proceedings of the London Mathematical Society 2
42
(1936), S. 230--265.