A Logical Analysis of Framing for Specifications with Pure Method Calls | Publicación