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