author : Peter Hitchcock

Short works

• Structured Analysis - A Draft Method for Writing Z Specifications. 1992. (In 6th Z User Workshop )