The following publications are possibly variants of this publication:
- An extensible module algebra for MaudeFrancisco Durán, José Meseguer. ENTCS, 15:174-195, 1998. [doi]
- Maude s module algebraFrancisco Durán, José Meseguer. SCP, 66(2):125-153, 2007. [doi]
- The Reflective Design of Maude s Module AlgebraFrancisco Durán. wflp 2000: 128-134
- Module OperationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 185-230 [doi]
- Functional ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 61-118 [doi]
- System ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 131-157 [doi]
- Predefined Data ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 231-305 [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]