author : Andrew Martin

Short works

• W Reconstructed. 1997. (In ZUM '97 )
• Relating Z and First-Order Logic. 1999. (In FM'99 volume 2 )
• ZML: XML support for standard Z. 2003. (In ZB 2003 )