@InProceedings{Kolanski_Klein_09,
    author =    {Rafal Kolanski and Gerwin Klein},
    title =     {Types, Maps and Separation Logic},
    booktitle = {Proc.\ 22nd TPHOLs},
    editor =    {Stefan Berghofer and Tobias Nipkow and Christian Urban and Makarius Wenzel},
    year =         {2009},
    address =      {Munich, Germany},
    pages =        {276--292},
    month =        Aug,
    series =       {Lecture Notes in Computer Science},
    volume =       {5674},
    publisher =    {Springer},
}