Towards High-Order Distribution in Functional Languages. - Víctor M. Gulías; Juan J. Quintela; José Luis Freire (APPIA-GULP-PRODE, 1996)

Transport Primitives for Functional Agents. - Víctor M. Gulías; Juan J. Quintela; José Luis Freire (APPIA-GULP-PRODE, 1997)

From Sequential to Distributed Formal Proofs. - Víctor M. Gulías; J. Santiago Jorge; Juan J. Quintela; José Luis Freire (EUROCAST, 1997)

Persistent Haskell. - Juan J. Quintela; Juan J. Sánchez (EUROCAST, 2001)