Roanes Lozano, Eugenio (1993) Automatización e implementación de algunos problemas algebráicos y geométricos. Tesis(Doctoral), Computer Faculty (UPM).