- 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)
- Derivation and Validation of Software Metrics (International Series of Monographs on Computer Science)
- Object-Oriented Software Engineering With C++ (The Mcgraw-Hill International Series in Software Engineering)