9/8/2015Rewriting Logic and Maude 1 Rewriting Logic and Maude Language Samira Tasharofi University of Tehran May 2007.