Separation logic: A logic for shared mutable data structures (2002)

by John C Reynolds
Venue:In Proc. LICS’02