All About Maude - A High-Performance Logical Framework - How to Specify, Program, and Verify Systems in Rewriting Logic (Mixed media product, 2007)
Manuel Clavel, Francisco Duran, Steven Eker, Patrick Lincoln, Narciso Marti-Oliet, Jose Meseguer, Carolyn Talcott
Ships in 10 - 15 working days