Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. - Julio García-Martín; Juan José Moreno-Navarro (AADEBUG, 1993)

A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). - Julio García-Martín; Juan José Moreno-Navarro (AMAST, 1993)

Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. - Juan José Moreno-Navarro; Julio García-Martín; Andrés del Pozo-Prieto (GULP-PRODE, 1995)

Adding Type Classes to Functional-Logic Languages. - Juan José Moreno-Navarro; Julio Mariño; Andrés del Pozo-Prieto; Ángel Herranz-Nieva; Julio García-Martín (APPIA-GULP-PRODE, 1996)

An Approach to Algorithm Design by Patterns. - Javier Galve-Frances; Julio García-Martín; Jose Manuel Burgos-Ortiz; Miguel Sutil-Martin (EuroPLoP, 1998)

From Problems to Programs: A Pattern Language to Go from Problem Requirements to Solution Schemas in Elementary Programming. - Jose Manuel Burgos-Ortiz; Javier Galve-Frances; Julio García-Martín (EuroPLoP, 2000)

Virtual Machines and Abstract Compilers - Towards a Compiler Pattern Language. - Julio García-Martín; Miguel Sutil-Martin (EuroPLoP, 2000)