Engines of Logic: Mathematicians and the Origin of the Computer
An Introduction to Formal Languages and Automata, 5th Edition
The Dawn of Software Engineering: from Turing to Dijkstra
Paradigms Lost