The following publications are possibly variants of this publication:
- A Maude specification of an object-oriented database model for telecommunication networksIsabel Pita, Narciso Martí-Oliet. ENTCS, 4:405-423, 1996. [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]
- 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]
- 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]
- LTL Model CheckingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 385-418 [doi]