Short works
- Innovations in the Notation of Standard Z. 1998. (In ZUM '98 )
- On Mutually Recursive Free Types in Z. 2000. (In ZB 2000 )
- Reasoning Inductively about Z Specifications via Unification. 2000. (In ZB 2000 )
- Typechecking Z. 2000. (In ZB 2000 )
- Typeconstrained Generics for Z. 2000. (In ZB 2000 )
- Characters + Mark-up = Z Lexis. 2002. (In ZB 2002 )
- An Outline pattern language for Z: five illustrations and two tables. 2003. (In ZB 2003 )
- Patterns to guide practical refactoring: example targetting promotion in Z. 2003. (In ZB 2003 )
- ZML: XML support for standard Z. 2003. (In ZB 2003 )
- Proving properties of Stateflow models using ISO Standard Z and CADiZ. 2005. (In ZB 2005 )