The following publications are possibly variants of this publication:
- Core Maude GrammarManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 751-756 [doi]
- Using MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 31-37 [doi]
- Mobile MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo. maude 2007: 485-522 [doi]
- Playing with MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. maude 2007: 159-184 [doi]
- Complete List of Maude CommandsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 737-749 [doi]
- Specifying Parameterized Data Structures in MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. maude 2007: 307-338 [doi]
- A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time MaudeFrancisco Durán, Peter Csaba Ölveczky. ENTCS, 238(3):83-102, 2009. [doi]
- MaudeJosé Meseguer, Carolyn L. Talcott. sigsoft, 25(1):104, 2000. [doi]
- New Evaluation Commands for Maude Within Full MaudeFrancisco Durán, Santiago Escobar, Salvador Lucas. ENTCS, 117:263-284, 2005. [doi]