@inproceedings{ORY01,
  title = "Local Reasoning about Programs that Alter Data Structures",
  author = "Peter W. O'Hearn and John C. Reynolds and Hongseok Yang",
  year = "2001",
  booktitle = "Proceedings of 15th Annual Conference of the European Association for Computer Science Logic",
  editor = "L. Fribourg",
  isbn = "3-540-42554-3",
  month = "September",
  pages = "1--19",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/hongseok.yang/paper/localreasoning.ps",
  volume = "2142",
}