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.