@InProceedings{Kolanski_Klein_08,
  author =    {Rafal Kolanski and Gerwin Klein},
  title =     {Mapped Separation Logic},
  booktitle = {Second IFIP Working Conference on
  Verified Software: Theories, Tools, and Experiments (VSTTE 2008)},
  editor =    {Jim Woodcock and Natarajan Shankar},
  series =    {LNCS},
  publisher =  {Springer},
  volume =    5295,
  pages =	 {15--29},
  year =      {2008},
  isbn =	 {978-3-540-87872-8},
  address =   {Toronto, Canada},
  month =     Oct,
}