Herencia y clasificación en un lenguaje de especificación orientado a objetos

Aquesta tesi apareix a les col·leccions següents