Editing Maude system (section)

==Further reading==
* Clavel, Durán, Eker, Lincoln, Martí-Oliet, [[Jose Meseguer|Meseguer]] and Quesada, 1998. ''[http://maude.cs.uiuc.edu/papers/abstract/CDELMMQmetalanguage_1998.html Maude as a Metalanguage]'', in Proc. 2nd International Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science 15, Elsevier.
* Martí-Oliet and [[Jose Meseguer|José Meseguer]], 2002. ''[http://maude.cs.uiuc.edu/papers/abstract/MMroadmap_2001.html Rewriting Logic: Roadmap and Bibliography]''. Theoretical Computer Science 285(2):121-154.
* Martí-Oliet and [[Jose Meseguer|José Meseguer]], 1993-2000. ''[http://maude.cs.uiuc.edu/papers/abstract/tcs4012.html Rewriting Logic as a Logical and Semantic Framework]''. Electronic Notes in Theoretical Computer Science 4, Elsevier.
* {{cite book |author=Clavel, Durán, Eker, Lincoln, Martí-Oliet, Meseguer and Talcott |title=All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic |publisher=Springer |year=2007 |isbn=978-3-540-71940-3|url=http://maude.cs.illinois.edu/w/images/0/0d/Maude-book.pdf}}