Una interpretación lógico-algebraica de la semántica de la programación

Aquesta tesi apareix a les col·leccions següents