1. Burks, A.W., and A.R. Burks. 1981. The ENIAC: First General-purpose Electronic Computer. Annals of the History of Computing 2: 310–399.
2. Ceruzzi, P.E. 1983. Reckoners, The Prehistory of the Digital Computer, from Relays to the Stored Program Concept, 1933–1945. Westport, CT: Greenwood Press.
3. Copeland, J. (ed.). 2004. The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life. Oxford: Clarendon Press..
4. Davis, M. 1965/2004. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. New York: Raven Press/Dover Publications.
5. ———. 1990. Is Mathematical Insight Algorithmic? Behavioral and Brain Sciences 13: 659–660.