Maude as a formal meta-tool | Publicación