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