- Case Studies in Systematic Software Development (Prentice-Hall International Series in Computer Science)
- Essays in Computing Science (Prentice-Hall International Series in Computer Science)
- Software Development
- Object Orientation with Parallelism and Persistence
- Systematic Software Development Using Vdm (Prentice Hall International Series in Computer Science)