All about Maude-- a high-performance logical framework how to specify, program and verify systems in rewriting logic - Clavel, Manuel, 1969-; SpringerLink (Online service). (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Includes bibliographical references and indexes.
Keywords: Computer logic; Rewriting systems (Computer science).; Human information processing