Warren Smith Paul Decitre An Evaluation Method for Analysis of the Weighted Voting Algorithm for Maintaining Replicated Data. 494-502 1984 ICDCS db/conf/icdcs/icdcs84.html#SmithD84