- The Computer: A Very Short Introduction
- An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics and Computing Science Series)
- Developing Distributed and E-Commerce Applications + CD (2nd Edition)
- A Dictionary of the Internet
- Derivation and Validation of Software Metrics (International Series of Monographs on Computer Science)