State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings | Publicación