Local Reasoning for Global Invariants, Part I | Publicación