Jean Paul Bahsoun Corinne Servieres Christel Seguin A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. 267-280 1993 conf/ershov/1993 Formal Methods in Programming and Their Applications db/conf/ershov/ershov1993.html#BahsounSS93 http://dx.doi.org/10.1007/BFb0039714