398

Alan M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem, in: Proceedings of the London Mathematical Society 1 (1937). – S. 230–265.