Linearizability: A correctness condition for concurrent objects (1990)

by M Herlihy, J Wing
Venue:ACM 2]'ansaetions on Programming Languages and Systems