@inproceedings{Heiser_ERV_94,
    address          = {Christchurch, New Zealand},
    author           = {Gernot Heiser and Kevin Elphinstone and Stephen Russell and Jerry Vochteloo},
    booktitle        = {Proceedings of the 17th Australasian Computer Science Conference (ACSC)},
    month            = jan,
    pages            = {271--80},
    paperurl         = {https://trustworthy.systems/publications/papers/Heiser_ERV_94.pdf},
    title            = {Mungi: A Distributed Single-Address-Space Operating System},
    year             = {1994}
  }