@inproceedings{Kolanski_Klein_09,
    address          = {Munich, Germany},
    author           = {Kolanski, Rafal and Klein, Gerwin},
    booktitle        = {International Conference on Theorem Proving in Higher Order Logics},
    editor           = {{S. Berghofer, T. Nipkow, C. Urban, M. Wenzel}},
    keywords         = {isabelle/hol, virtual memory, sel4},
    month            = aug,
    pages            = {276--292},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1849.pdf},
    publisher        = {Springer},
    title            = {Types, Maps and Separation Logic},
    year             = {2009}
  }