Intelligent Virtual Agent Societies on the Internet. - Fernando Alonso Amo; F. Fernández Velasco; Genoveva López Gómez; J. P. Rojas Jiménez; F. Javier Soriano Camino (IVA, 2001)

A Formal Specification Language for Agent Conversations. - F. Javier Soriano Camino; Fernando Alonso Amo; Genoveva López Gómez (CEEMAS, 2003)

A Formal Framework for Interaction Protocol Engineering. - Fernando Alonso Amo; Sonia Frutos; Genoveva López Gómez; F. Javier Soriano Camino (CEEMAS, 2005)