Olivier Hudry, «Machine de Turing et complexité algorithmique», dans Michel Serfati (dir.), De la méthode: recherches en histoire et philosophie des mathématiques, PUFC, coll.«Colloques et séminaires», (ISBN2-8486-7000-2, lire en ligne), p.178.
(en) Alan Turing, On Computable Numbers, with an Application to the Entscheidungsproblem: Proceedings of the London Mathematical Society, London Mathematical Society, (DOI10.1112/PLMS/S2-42.1.230, lire en ligne) et «[idem]: A Correction», Proc. London Math. Soc., 2e série, vol.43, , p.544-546 (DOI10.1112/plms/s2-43.6.544, lire en ligne).
Alonzo Church, «On Computable Numbers, with an Application to the Entscheidungsproblem by A. M. TuringReview», The Journal of Symbolic Logic, vol.2, no1, mar., 1937, p.42-43 (lire en ligne).
Brian Randell, On Alan Turing and the Origins of Digital Computers, vol.33, Computing Laboratory, University of Newcastle upon Tyne, (lire en ligne), publié comme Brian Randell, «On Alan Turing and the Origins of Digital Computers», Machine Intelligence, Edinburgh University Press, vol.7, , p.3–20.
(en) A. M. Turing, «Checking a Large Routine», dans Report of a Conference on High Speed Automatic Calculating Machines, Univ. Math. Lab., Cambridge, p.67-69 (1949) in Morris, F. L. et C. B. Jones, «An Early Program Proof by Alan Turing», Ann. Hist. Comp., vol.6, no2, , p.139-143 (lire en ligne).
William F. Aspray Jr, From mathematical constructivity to Computer Science: Alan Turing, John von Neumann and the origin of computer science in mathematical logic, The University of Wisconsin, coll.«PhD», (lire en ligne).
(en) Alan Turing, On Computable Numbers, with an Application to the Entscheidungsproblem: Proceedings of the London Mathematical Society, London Mathematical Society, (DOI10.1112/PLMS/S2-42.1.230, lire en ligne) et «[idem]: A Correction», Proc. London Math. Soc., 2e série, vol.43, , p.544-546 (DOI10.1112/plms/s2-43.6.544, lire en ligne).
(en) Alan Turing, On Computable Numbers, with an Application to the Entscheidungsproblem: Proceedings of the London Mathematical Society, London Mathematical Society, (DOI10.1112/PLMS/S2-42.1.230, lire en ligne) et «[idem]: A Correction», Proc. London Math. Soc., 2e série, vol.43, , p.544-546 (DOI10.1112/plms/s2-43.6.544, lire en ligne).