Specification of Cooperative Application: A Structure of Cooperation Modelling. - Jean-Luc Marty; Thierry Desprats; François Barrère (Applied Informatics, 1994)

Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project. - Eric Conquet; Jean-Luc Marty (World Congress on Formal Methods, 1999)