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