- "Higher-Order" Mathematics in B. 2002. (In
)*ZB 2002* - On Using Conditional Definitions in Formal Theories. 2002. (In
)*ZB 2002* - B#: Toward a Synthesis between Z and B. 2003. (In
)*ZB 2003* - Formal derivation of spanning tree algorithms. 2003. (In
)*ZB 2003* - Refinement and reachability in Event B. 2005. (In
)*ZB 2005* - The challenge of probabilistic Event B. 2005. (In
)*ZB 2005*