Francisco Durán, José Meseguer
An extensible module algebra for Maude
WRLA, 1998.
@article{WRLA-1998-DuranM,
author = "Francisco Durán and José Meseguer",
doi = "10.1016/S1571-0661(05)80012-X",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "174--195",
title = "{An extensible module algebra for Maude}",
volume = 15,
year = 1998,
}