Pascal André, Gilles Ardourel, Christian Attiogbé. Protocoles d utilisation de composants : spécification et analyse en Kmelia. In Isabelle Borne, Xavier Crégut, Sophie Ebersold, Frédéric Migeon, editors, Actes des journées Langages et Modèles à Objets, LMO 07. Toulouse, 27-29 mars. pages 19-34, Hermès Lavoisier, 2007.
Abstract is missing.