author : Howard Haughton

Books

• Object Oriented Specification Case Studies. 1994, with Kevin C. Lano

Short works

• Reuse and Adaptation of Z Specifications. 1993. (In 7th Z User Workshop )