Local reasoning for global invariants, part I: Region logic (2013)

by A Banerjee, D A Naumann, S Rosenberg
Venue:Journal of ACM