@InProceedings{DMmodalg_1998 author = {F. Dur{\'a}n and J. Meseguer}, title = {An Extensible Module Algebra for {Maude}}, booktitle = {In 2nd International Workshop on Rewriting Logic and its Applications (WRLA'98)}, year = {1998}, volume = {15}, series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier}, }