You are about to access our book library "All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Programming and Software Engineering) full version" .