"An Introduction to Maude and Some of Its Applications."

Narciso Martí-Oliet (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics