1. and , Software Engineering Mathematics, Pitman, 1988.
2. An Introduction to Discrete Mathematics and Formal System Specification, Clarendon Press, 1988.
3. Systematic Software Developing Using VDM, Prentice Hall, 1986.
4. The RAISE language, method and tools
5. (ed.), Information Processing Systems—Open Systems Interconnection—LOTOS—A Formal Technique Based on the Temporal Ordering of Observational Behaviour, ISO IS 8807, 1988.