The following publications are possibly variants of this publication:
- Maude as a Formal Meta-toolManuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr. FM 1999: 1684-1703 [doi]
- Tool Interoperability in the Maude Formal EnvironmentFrancisco Durán, Camilo Rocha, José M. Álvarez. calco 2011: 400-406 [doi]
- Some ToolsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo. maude 2007: 667-693 [doi]
- Model Checking Invariants Through SearchManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 373-384 [doi]
- Object-Oriented ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 599-642 [doi]
- LTL Model CheckingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 385-418 [doi]
- Object-Based ProgrammingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 339-372 [doi]
- Maude: specification and programming in rewriting logicManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. TCS, 285(2):187-243, 2002. [doi]
- Formal and Tool Support for Model Driven Engineering with MaudeJosé Raúl Romero, José Eduardo Rivera, Francisco Durán, Antonio Vallecillo. jot, 6(9):187-207, 2007. [doi]
- Towards a Maude Formal EnvironmentFrancisco Durán, Camilo Rocha, José M. Álvarez. BIRTHDAY 2011: 329-351 [doi]