Reglas y estrategias de transformación para programas lógico-funcionales.

Aquesta tesi apareix a les col·leccions següents