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, }