The Maude manual for Maude 2.7 is available in PDF format and as a HTML version.
The source code for the examples
used in the manual is also available here together with the examples
from the Maude book.
The primer for Maude 2.0.1 (but mostly applicable for later versions too) is available here.