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