A Relational Program Logic with Data Abstraction and Dynamic Framing | Publicación