@inproceedings{Heiser_ERV_94,
    address          = {Christchurch, New Zealand},
    author           = {Gernot Heiser and Kevin Elphinstone and Stephen Russell and Jerry Vochteloo},
    booktitle        = {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}
  }