Books
- Software Prototyping, Formal Methods and VDM. 1988, with Sharam Hekmatpour
- Software Development: Fashioning the Baroque. 1988
- An Introduction to Discrete mathematics and Formal System Specification. 1988
- Practical Formal Methods with VDM. 1991, with Derek Andrews