- Influences of mathematical logic on computer science. 1988. (In
*The Universal Turing Machine*) - Mathematical logic and the origin of modern computing. 1988. (In
*The Universal Turing Machine*) - Algorithms, equations, and logic. 2016. (In
*The Once and Future Turing*)