@inproceedings{COY-lics07,
  title = "Local Action and Abstract Separation Logic",
  author = "Cristiano Calcagno and Peter W. O'Hearn and Hongseok Yang",
  year = "2007",
  address = "Wroclaw, Poland",
  booktitle = "Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science",
  month = "July",
  pages = "366--378",
  publisher = "IEEE",
}