Books
Short works
- Formal Specification and Development of Control System Input/Output. 1993. (In 7th Z User Workshop )
- From Z to Code: A Graphical User Interface for a Radiation Therapy Machine. 1995. (In ZUM '95 )
- Experience with Z developing a Control Program for a Radiation Therapy Machine. 1997. (In ZUM '97 )
- Analyzing a Real-Time Program with Z. 1998. (In ZUM '98 )
- Lessons from the Formal Development of a Radiation Therapy Machine Control Program. 1999. (In Industrial-Strength Formal Methods in Practice )