@inproceedings{Vochteloo_ERH_96,
    address          = {Seattle, WA, USA},
    author           = {Jerry Vochteloo and Kevin Elphinstone and Stephen Russell and Gernot Heiser},
    booktitle        = {IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS)},
    month            = oct,
    pages            = {161--165},
    paperurl         = {https://trustworthy.systems/publications/papers/Vochteloo_ERH_96.pdf},
    title            = {Protection Domain Extensions in {Mungi}},
    year             = {1996}
  }