@inproceedings{Tuch:separation-logic:2007,
  author = {Harvey Tuch and Gerwin Klein and Michael Norrish},
  title = {Types, Bytes, and Separation Logic},
  booktitle = {POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT
               symposium on Principles of programming languages},
  year = 2007,
  isbn = {1-59593-575-4},
  pages = {97--108},
  location = {Nice, France},
  doi = {http://doi.acm.org/10.1145/1190216.1190234},
  publisher = {ACM Press},
  address = {New York, NY, USA},
}