The part-time parliament - Lamport, Leslie 1941- (1989)