All About Maude - A High-Performance Logical Framework - Clavel, Manuel (Springer Berlin Heidelberg, 2007)