@phdthesis{Vochteloo:phd,
    address          = {Sydney, Australia},
    author           = {Jerry Vochteloo},
    month            = jul,
    note             = {Available from publications page at \url{http://trustworthy.systems/}},
    paperurl         = {https://trustworthy.systems/publications/papers/Vochteloo%3Aphd.pdf},
    school           = {UNSW},
    title            = {Design, Implementation and Performance of Protection in the {Mungi} Single-Address-Space Operating
                        System},
    year             = {1998}
  }