Maude is a high-performance reflective language and system supporting both equational and rewriting...