Short works
- Visualising Concurrent Z Specifications. 1994. (In 8th Z User Workshop )
- Using Z to Rigorously Review a Specification of a Network Management System. 1995. (In ZUM '95 )
- An Improved Recipe for Specifying Reactive Systems in Z. 1997. (In ZUM '97 )