Manual

The Maude manual for Maude 3.5.1 is available in PDF format and in HTML. The source code for the examples used in the manual is also available here together with the examples from the Maude book.

Book

The book All About Maude - A High-Performance Logical Framework is published in Springer's series Lecture Notes on Computer Science 1234.

Additional Resources

Some papers and reports on Maude, its formal foundations, and its applications are available in the bibliography section. 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.