Maude System documentation at http://maude.csl.sri.com/papers (1999)

by Manuel Clavel, Francisco J Duran, Steven Eker, Patrick Lincoln, Narciso Mart- Oliet, Jose Meseguer, Jose F Quesada
Venue:Maude: Speci and Programming in Rewriting Logic