Friends need a bit more: Maintaining invariants over shared state (2004)

by Mike Barnett, David A Naumann
Venue:Mathematics of Program Construction, Lecture Notes in Computer Science