Short works
- A Comparison of the BTT and TTF Test-Generation Methods. 2002. (In ZB 2002 )
- Object orientation without extending Z. 2003. (In ZB 2003 )
- ZML: XML support for standard Z. 2003. (In ZB 2003 )
- CZT: a framework for Z tools. 2005. (In ZB 2005 )