Análisis semántico y transformación de programas lógico-funcionales.

Aquesta tesi apareix a les col·leccions següents