@inproceedings{Leslie_FH_04,
    address          = {Victor Harbor, South Australia, Australia},
    author           = {Ben Leslie and Nicholas FitzRoy-Dale and Gernot Heiser},
    booktitle        = { Workshop on Object Systems and Software Architectures },
    month            = jan,
    note             = {\url{http://www.cs.adelaide.edu.au/~wossa2004/HTML/}},
    paperurl         = {https://trustworthy.systems/publications/papers/Leslie_FH_04.pdf},
    title            = {Encapsulated User-Level Device Drivers in the {Mungi} Operating System},
    year             = {2004}
  }