Turing, Alan M. (1936), “On Computable Numbers, with an Application to the Entscheidungsproblem”, 《Proceedings of the London Mathematical Society》, 2 (1937) 42, 230–265쪽, doi:10.1112/plms/s2-42.1.230, S2CID73712 및 Turing, Alan M. (1938), “On Computable Numbers, with an Application to the Entscheidungsproblem. A correction”, 《Proceedings of the London Mathematical Society》, 2 (1937) 43 (6), 544–546쪽, doi:10.1112/plms/s2-43.6.544.
Campbell-Kelly, Martin (April 1982). 《The Development of Computer Programming in Britain (1945 to 1955)》. 《IEEE Annals of the History of Computing》 4. 121–139쪽. doi:10.1109/MAHC.1982.10016. S2CID14861159.
Backus, John W. (August 1978). 《Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs》. 《Communications of the ACM》 21. 613–641쪽. doi:10.1145/359576.359579. S2CID16367522.
Turing, Alan M. (1936), “On Computable Numbers, with an Application to the Entscheidungsproblem”, 《Proceedings of the London Mathematical Society》, 2 (1937) 42, 230–265쪽, doi:10.1112/plms/s2-42.1.230, S2CID73712 및 Turing, Alan M. (1938), “On Computable Numbers, with an Application to the Entscheidungsproblem. A correction”, 《Proceedings of the London Mathematical Society》, 2 (1937) 43 (6), 544–546쪽, doi:10.1112/plms/s2-43.6.544.
Campbell-Kelly, Martin (April 1982). 《The Development of Computer Programming in Britain (1945 to 1955)》. 《IEEE Annals of the History of Computing》 4. 121–139쪽. doi:10.1109/MAHC.1982.10016. S2CID14861159.
Backus, John W. (August 1978). 《Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs》. 《Communications of the ACM》 21. 613–641쪽. doi:10.1145/359576.359579. S2CID16367522.