Compositional Specification in Rewriting Logic | Publicación