1. Pierre America. Inheritance and subtyping in a parallel object-oriented language. In J. Bézivin, J.-M. Hullot, P. Cointe, and H. Lieberman, editors, ECOOP’87: European conference on object-oriented programming: proceedings, volume 276 of LNCS, pages 234–242, Paris, France, June 1987. Springer-Verlag.
2. Stéphane Barbey, Didier Buchs, and Cécile Péraire. A theory of specification-based testing for object-oriented software. In Proceedings of EDCC2 (European Dependable Computing Conference), LNCS (Lecture Notes in Computer Science), Taormina, Italy, October 1996. Springer Verlag. Also available as Tech. Report (EPFL-DI-LGL No 96/163).
3. Olivier Biberstein. CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems. PhD thesis, University of Geneva, April 1997. To appear.
4. D. Buchs, P. Racloz, M. Buffo, J. Flumet, and E. Urland. Deriving parallel programs using sands tools. Transputer Communications, 3 (1): 23–32, January 1996.
5. Didier Buchs and Nicolas Guelfi. CO-OPN: A concurrent object-oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432–454, Aahrus, Denmark, June 1991.