López García, Pedro (1999) Control de granularidad en la ejecución paralela de programas lógicas mediante técnicas de análisis y transformación. Tesis(Doctoral), Computer Faculty (UPM).
Bueno Carrillo, Francisco (1994) Técnicas de transformación de programas lógicos para su optimización y paralelización automática. Tesis(Doctoral), Computer Faculty (UPM).