@inproceedings{Yang-SchorrWaite,
  title = "An Example of Local Reasoning in {B}{I} Pointer Logic: the {S}chorr-{W}aite Graph Marking Algorithm",
  author = "Hongseok Yang",
  year = "2001",
  booktitle = "Proceedings of the 1st Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management",
  month = "January",
  url = "http://www.cs.ox.ac.uk/people/hongseok.yang/paper/SchorrWaite.ps",
}