Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Maude: specification and programming in rewriting logic
WRLA, 2002.
@article{WRLA-J-1996-ClavelDELMMQ02,
author = "Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada",
doi = "10.1016/S0304-3975(01)00359-0",
journal = "{Theor. Comput. Sci}",
number = 2,
pages = "187--243",
title = "{Maude: specification and programming in rewriting logic}",
volume = 285,
year = 2002,
}