Tool Interoperability in the Maude Formal Environment | Publicación