Local reasoning about programs that alter data structures (2001)

by P O’Hearn, J Reynolds, H Yang
Venue:In CSL, volume 2142 of LNCS