A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. - Jean Paul Bahsoun; Corinne Servieres; Christel Seguin (Formal Methods in Programming and Their Applications, 1993)

A Framework for Programming and Formalizing Concurrent Objects. - Jean Paul Bahsoun; Stephan Merz; Corinne Servieres (SIGSOFT FSE, 1993)

Modular Description and Verification of Concurrent Objects. - Jean Paul Bahsoun; Stephan Merz; Corinne Servieres (OBPDC, 1995)