Non abbiamo ancora una biografia di Manuel Clavel.
Pubblicato in Inglese
Reflection in Rewriting Logic
2001
All About Maude - A High-Performance Logical Framework
2007