Maude Manual and Examples
Manual - Latest Version
Some papers a reports on Maude, its formal foundations, and its applications are available in the [Section on Some Papers on Maude and on Rewriting Logic]. A primer written for Maude 2.0.1 (but mostly applicable for later versions too) is available in PDF format. The examples are available as a tarred gzipped archive.