- The Computer: A Very Short Introduction
- An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics and Computing Science Series)
- A Dictionary of the Internet
- Derivation and Validation of Software Metrics (International Series of Monographs on Computer Science)
- Software Engineering (Tutorial Guides in Electronic Engineering Series 17)














