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