Local reasoning about programs that alter data structures (2001)

by P W O’Hearn, J C Reynolds, H Yang
Venue:In CSL: Computer Science Logic, 15th International Workshop