Short works
- The Event Calculus. 1997. (In ZUM '97 )
- The Specification and Refinement of an Environmental Model. 1998. (In ZUM '98 )
- An Execution Architecture for GSL. 2000. (In ZB 2000 )
- Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. 2002. (In ZB 2002 )
- Expression transformers in B-GSL. 2003. (In ZB 2003 )
- A Prospective-Value semantics for the GSL. 2005. (In ZB 2005 )