@inproceedings{hostore-icalp08,
  title = "A Simple Model of Separation Logic for Higher-Order Store",
  author = "Lars Birkedal and Bernhard Reus and Jan Schwinghammer and Hongseok Yang",
  year = "2008",
  address = "Reykjavik, Iceland",
  booktitle = "Proceedings of the 35th International Colloquium on Automata, Languages and Programming",
  isbn = "978-3-540-70582-6",
  month = "July",
  pages = "348--360",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5126",
}