Nancy A. Lynch Barbara T. Blaustein Michael Siegel Correctness Conditions for Highly Available Replicated Databases. 11-28 1986 PODC db/conf/podc/podc86.html#LynchBS86