Short works
- Data Abstraction for CSP-OZ. 1999. (In FM'99 volume 2 )
- Using coupled simulations in non-atomic refinement. 2003. (In ZB 2003 )
- Non-atomic refinement in Z and CSP. 2005. (In ZB 2005 )
- Slicing Object-Z specifications for verification. 2005. (In ZB 2005 )