Action-Based Concurrency and Synchronization for Objects. - Ralph-Johan Back; Martin Büchi; Emil Sekerinski (ARTS, 1997)

Formal Methods for Component Software: The Refinement Calculus Perspective. - Martin Büchi; Emil Sekerinski (ECOOP Workshops, 1997)

The B Bank: A Complete Case Study. - Martin Büchi (ICFEM, 1998)

Compound Types for Java. - Martin Büchi; Wolfgang Weck (OOPSLA, 1998)

Compositional Symmetric Sharing in B. - Martin Büchi; Ralph-Johan Back (World Congress on Formal Methods, 1999)

Generic Wrappers. - Martin Büchi; Wolfgang Weck (ECOOP, 2000)

A Foundation for Refining Concurrent Objects. - Martin Büchi; Emil Sekerinski (Fundam. Informaticae, 2000)