Manuel Clavel

All About Maude - A High-Performance Logical Framework

Reflection in Rewriting Logic