@inproceedings{dc9161360bf3439b8d5d2c1c739949a7,
title = "All about maude - A high-performance logical framework how to specify, program and verify systems in rewriting logic",
author = "Manuel Clavel and Francisco Duran and Steven Eker and Patrick Lincoln and Narciso Mart{\'i}-Oliet and Jos{\'e} Meseguer and Carolyn Talcott",
year = "2007",
language = "English (US)",
isbn = "9783540719403",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "1--819",
booktitle = "All About Maude - A High-Performance Logical Framework - How to Specify, Program and Verify Systems in Rewriting Logic",
}