Maurice Herlihy Concurrency versus Availability: Atomic Mechanisms for Replicated Data. 249-274 1987 5 ACM Trans. Comput. Syst. 3 http://doi.acm.org/10.1145/24068.27643 db/journals/tocs/tocs5.html#Herlihy87