Action and Change in Rewriting Logic | Publicación