On Computable Numbers, with an Application to the Entscheidungsproblem

   page       BibTeX_logo.png   
Alan Mathison Turing
Proceedings of the London Mathematical Society s2-42(1), pages 230–265
1937