@techreport{Kolanski_05,
    annote           = {Raf's Honours Thesis},
    author           = {Rafal Kolanski},
    institution      = {NICTA},
    number           = {Technical Report 05-00029-1},
    paperurl         = {https://trustworthy.systems/publications/papers/Kolanski_05.pdf},
    title            = {A Formal Model of the {L4} micro-kernel {API} Using the {B} Method},
    year             = {2005}
  }