Peter W. O'Hearn John C. Reynolds Hongseok Yang Local Reasoning about Programs that Alter Data Structures. 1-19 2001 conf/csl/2001 CSL http://link.springer.de/link/service/series/0558/bibs/2142/21420001.htm db/conf/csl/csl2001.html#OHearnRY01