Maude: specification and programming in rewriting logic | Publicación