Maurice Herlihy A Quorum-Consensus Replication Method for Abstract Data Types. 32-53 1986 4 ACM Trans. Comput. Syst. 1 http://doi.acm.org/10.1145/6306.6308 db/journals/tocs/tocs4.html#Herlihy86