- The Universal Computer: The Road from Leibniz to Turing
- Computability and Unsolvability (Mcgraw-Hill Series in Information Processing and Computers.)
- Applied Nonstandard Analysis
- First Course in Functional Ana
- Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)
- Paul G. Sorenson
- R. Gregory Taylor
- John A.N. Lee
- Randy M. Kaplan
- M. Donald MacLaren
- Patricia Anklam
- Joshua Engel
- Kathleen Dollard
- Roger Heinen, Jr.
- William H. Burge
- Brian Foote
- Khalid Sayood
- Balachander Krishnamurthy
- Wolfgang Pree
- Desmond Francis D'Souza
- Donald E. Freeman
- Neil Harrison
- The editors of Dr. Dobb's journal
- Jennifer Rexford
- J. Rohl