Reliable distributed computing with the Isis toolkit - Birman, Kenneth P.; Van Renesse, Robbert 1962- (IEEE Computer Society Press, 1994)