Turing, A. M. (1936), 'On Computable Numbers, with an Application to the Entscheidungsproblem', Proceedings of the London Mathematical Society 2 (42) , 230--265 . [BibTeX] [Endnote]