H. Breitwieser M. Leszak Improving Availability of Partially Redundant Databases by Majority Consensus Protocols. 131-151 1982 DDB db/conf/ddb/ddb82.html#BreitwieserL82