editor = {Manuel Clavel and
Francisco Durán and
Steven Eker and
Patrick Lincoln and
Narciso Mart\'{\i}-Oliet and
José Meseguer and
Carolyn L. Talcott},
title = {All About Maude - A High-Performance Logical Framework,
How to Specify, Program and Verify Systems in Rewriting
booktitle = {All About Maude},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4350},
year = {2007},
isbn = {978-3-540-71940-3},
bibsource = {DBLP, http://dblp.uni-trier.de}