@InProceedings{Tuch_KN_07,
  author =    {Harvey Tuch and Gerwin Klein and Michael Norrish},
  title =     {Types, Bytes, and Separation Logic},
  booktitle = {Proc.\ 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'07)},
  pages =     {97-108},
  year =      {2007},
  editor =    {Martin Hofmann and Matthias Felleisen},
  address =   {Nice, France},
  month =     Jan,
}