Alan M. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, (2)42:230--265, 1936. [PUMA: computability tcs logic] URL