Maude:
Specification and Programming
in Rewriting
Logic1
Manuel Clavel, Francisco Durán, Steven Eker,
Patrick Lincoln, Narciso Martí-Oliet,
José Meseguer, and José Quesada
Computer Science Laboratory
SRI International
March 8, 1999
These web pages have been produced from LaTeX2e sources using
Hyperlatex 2.3.
This document is also available formatted for printing from
the Maude home page.