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