Pérez Pérez, Aurora (1991) Una interpretación lógico-algebraica de la semántica de la programación. Tesis(Doctoral), Computer Faculty (UPM).
García Merayo, Félix (1989) Extensión de los lenguajes científicos para su uso en algoritmos paralelos y vectoriales. Tesis(Doctoral), Computer Faculty (UPM).