Mendías Cuadros, José Manuel (2003) Síntesis formal de alto nivel por derivación automática : aspectos teóricos, metodológicos y prácticos. Tesis PhD.
