@inproceedings{composite-cav07,
  title = "Shape Analysis for Composite Data Structures",
  author = "Josh Berdine and Cristiano Calcagno and Byron Cook and Dino Distefano and Peter W. O'Hearn and Thomas Wies and Hongseok Yang",
  year = "2007",
  address = "Berlin, Germany",
  booktitle = "Proceedings of the 19th International Conference on Computer Aided Verification",
  isbn = "978-3-540-73367-6",
  month = "July",
  pages = "178--192",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "4590",
}