Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer
Principles of Maude
WRLA, 1996.
@article{RWLW-1996-ClavelELM,
author = "Manuel Clavel and Steven Eker and Patrick Lincoln and José Meseguer",
doi = "10.1016/S1571-0661(04)00034-9",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "65--89",
title = "{Principles of Maude}",
volume = 4,
year = 1996,
}