@inproceedings{Cock_KS_08,
    address          = {Montreal, Canada},
    author           = {Cock, David and Klein, Gerwin and Sewell, Thomas},
    booktitle        = {International Conference on Theorem Proving in Higher Order Logics},
    doi              = {10.1007/978-3-540-71067-7_16},
    editor           = {{Otmane Ait Mohamed, C{\'e}sar Mu{\~n}oz, Sofi{\`e}ne Tahar}},
    keywords         = {state monad, refinement, microkernel, isabelle/hol, sel4},
    month            = aug,
    pages            = {167--182},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/483.pdf},
    publisher        = {Springer},
    title            = {Secure Microkernels, State Monads and Scalable Refinement},
    year             = {2008}
  }