Maude is a high-performance logical framework and programming language for specification,...