@inproceedings{Vochteloo_ERH_96,
    address          = {Seattle, WA, USA},
    author           = {Jerry Vochteloo and Kevin Elphinstone and Stephen Russell and Gernot Heiser},
    booktitle        = {Proceedings of the 5th 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}
  }