@inproceedings{Ouyang_Heiser_96,
    address          = {Sunnyvale, CA, USA},
    author           = {Jinsong Ouyang and Gernot Heiser},
    booktitle        = {International Conference on Parallel and Distributed Processing Techniques and Applications},
    month            = aug,
    pages            = {801--810},
    paperurl         = {https://trustworthy.systems/publications/papers/Ouyang_Heiser_96.pdf},
    title            = {Libra: A Library for Reliable Distributed Applications},
    year             = {1996}
  }