author : Paul H. B. Gardiner

Short works

• The Formal Specification in Z of Defence Standard 00-56. 1994. (In 8th Z User Workshop )