Derivación deductiva de programas funcionales con patrones

Aquesta tesi apareix a les col·leccions següents