All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic

Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Carolyn L. Talcott All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic All About Maude Lecture Notes in Computer Science 4350 Springer 2007 978-3-540-71940-3 db/conf/maude/maude2007.html