Short works
- A Generic Process to Refine a B Specification into a Relational Database Implementation. 2000. (In ZB 2000 )
- Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. 2002. (In ZB 2002 )
- Proving ordering properties for information systems. 2003. (In ZB 2003 )
- Reuse of specification patterns with the B method. 2003. (In ZB 2003 )