- Brains, Machines, and Mathematics
- Theories of Abstract Automata (Automatic Computation)
- A Programming Approach to Computability (Monographs in Computer Science / The AKM Series in Theoretical Computer Science)
- The Design of Well-Structured and Correct Programs (Monographs in Computer Science)
- The Handbook of Brain Theory and Neural Networks




























