Francisco Durán, José Meseguer
Parameterized Theories and Views in Full Maude 2.0
WRLA, 2000.
@article{WRLA-2000-DuranM,
author = "Francisco Durán and José Meseguer",
doi = "10.1016/S1571-0661(05)80136-7",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "316--338",
title = "{Parameterized Theories and Views in Full Maude 2.0}",
volume = 36,
year = 2000,
}