Libra: A Library for Reliable Distributed Applications. - Jinsong Ouzang; Gernot Heiser (PDPTA, 1996)