On Computable Numbers, with an Application to the Entscheidungsproblem

@article{turing-plms42,
   author = {Turing, Alan Mathison},
   doi = {10.1112/plms/s2-42.1.230},
   issn = {1460244X},
   journal = {Proceedings of the London Mathematical Society},
   number = 1,
   pages = {230--265},
   publisher = {Oxford University Press},
   title = {On Computable Numbers, with an Application to the Entscheidungsproblem},
   url = {http://plms.oxfordjournals.org/content/s2-42/1/230},
   volume = {s2-42},
   year = 1937
}