author : Jon G. Hall

Short works

• Towards a Z Method: Axiomatic Specifications in Z. 1994. (In 8th Z User Workshop )
• W Reconstructed. 1997. (In ZUM '97 )