Rewriting Logic and Its Applicationsde Francisco DuránMateriasMachine theoryEdiciones (1)Rewriting Logic and Its Applications (2012)Springer · ISBN 9783642340048Más obras de Francisco DuránPigmaliónPigmalionAll About Maude - A High-Performance Logical Framework