Short works
- A Logic for the Schema Calculus. 1998. (In ZUM '98 )
- Program Development and Specification Refinement in the Schema Calculus. 2000. (In ZB 2000 )
- Operation refinement and monotonicity in the schema calculus. 2003. (In ZB 2003 )
- Including design guidelines in the formal specification of interfaces in Z. 2005. (In ZB 2005 )