Reusable monadic semantics of logic programs with arithmetic predicates. - José Emilio Labra Gayo; Juan Manuel Cueva Lovelle; María Cándida Luengo Díez; Agustín Cernuda del Río (APPIA-GULP-PRODE, 2001)

Verifying Reuse Contracts with a Component Model. - Agustín Cernuda del Río; José Emilio Labra Gayo; Juan Manuel Cueva Lovelle (JISBD, 2001)

LPS: A Language Prototyping System Using Modular Monadic Semantics. - José Emilio Labra Gayo; María Cándida Luengo Díez; Juan Manuel Cueva Lovelle; Agustín Cernuda del Río (LDTA@ETAPS, 2001)

Specification of Logic Programming Languages from Reusable Semantic Building Blocks. - José Emilio Labra Gayo; Juan Manuel Cueva Lovelle; María Cándida Luengo Díez; Agustín Cernuda del Río (WFLP, 2001)

Modular Development of Interpreters from Semantic Building Blocks. - José Emilio Labra Gayo; Juan Manuel Cueva Lovelle; María Cándida Luengo Díez; Agustín Cernuda del Río (Nord. J. Comput., 2001)

The Cooperative Web: A Step towards Web Intelligence. - Daniel Gayo-Avello; Darío Álvarez Gutiérrez; Agustín Cernuda del Río; José Gayo-Avello; Luis Vinuesa-Martínez; Néstor García-Fernández (ICWE, 2003)

Coverage Model in Wireless Networks based on Progressive Refinement Radiosity. - Néstor García-Fernández; Juan Manuel Cueva Lovelle; Daniel Gayo-Avello; Agustín Cernuda del Río; Juan R. García (IC-AI, 2004)

How not to go about a programming assignment. - Agustín Cernuda del Río (ACM SIGCSE Bull., 2004)

A monadic program slicer. - Yingzhou Zhang; José Emilio Labra Gayo; Agustín Cernuda del Río (ACM SIGPLAN Notices, 2006)