Rewriting Logic as a Logical and Semantic Framework | Publicación