Maude como marco semántico ejecutable

Aquesta tesi apareix a les col·leccions següents