@inproceedings{Kolanski_Klein_06,
    address          = {Hobart, Australia},
    author           = {Rafal Kolanski and Gerwin Klein},
    booktitle        = {Computing: The Australasian Theory Symposium (CATS)},
    editor           = {Barry Jay and Joachim Gudmundsson},
    month            = jan,
    pages            = {53--68},
    paperurl         = {https://trustworthy.systems/publications/papers/Kolanski_Klein_06.pdf},
    series           = {Conferences in Research and Practice in Information Technology},
    title            = {Formalising the {L4} microkernel {API}},
    volume           = {51},
    year             = {2006}
  }