@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} }