Approximating Non-interference and Erasure in Rewriting Logic | Publicación