Monadas y Procesos Funcionales Comunicantes. - José E. Gallardo; Pablo Guerrero; Blas C. Ruiz (GULP-PRODE (1), 1994)

Monadas para la Comunicacion de Objetos Funcionales. - José E. Gallardo; Pablo Guerrero; Blas C. Ruiz (GULP-PRODE, 1995)

Clasificacion de Objetos Funcionales en Entornos Concurrentes. - Blas C. Ruiz; José E. Gallardo; Pablo Guerrero; Francisco Gutiérrez (APPIA-GULP-PRODE, 1996)

Inheritance and Selective Methods Dispatching in Concurrent Haskell. - José E. Gallardo; Francisco Gutiérrez; Blas C. Ruiz (PLILP, 1997)

A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene. - Francisco Gutiérrez; Blas C. Ruiz (LOPSTR, 2002)

Order Functional Pure Type Systems. - Francisco Gutiérrez; Blas C. Ruiz (WFLP, 2002)

Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems. - Francisco Gutiérrez; Blas C. Ruiz (ICALP, 2003)

Cut Elimination in a Class of Sequent Calculi for Pure Type Systems. - Francisco Gutiérrez; Blas C. Ruiz (WoLLIC, 2003)