Linearizability: a correctness condition for concurrent objects (1990)

by M P Herlihy, J M Wing
Venue:ACM Trans. Program. Lang. Syst