Rewriting Logic and Its Applications | Publicación