@inproceedings{nested-csl09,
  title = "Nested Hoare Triples and Frame Rule for Higher-order Store",
  author = "Jan Schwinghammer and Lars Birkedal and Bernhard Reus and Hongseok Yang",
  year = "2009",
  address = "Coimbra, Portugal",
  booktitle = "Proceedings of the 18th EACSL Annual Conference on Computer Science Logic",
  isbn = "978-3-642-04026-9",
  month = "September",
  pages = "440--454",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5771",
}