On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction. - Andrés Farías; Mario Südholt (OTM, 2002)

On the coherence of component protocols. - Andrés Farías; Yann-Gaël Guéhéneuc (SC, 2003)