- Diabetes Cookbook (British Diabetic Association)
- Business Process Management: A Rigorous Approach
- A Glossary of Computing Terms: An Introduction
- Security and Persistence (Workshops in Computing)
- Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (Strict), Berlin, 11 13 May 1995