Linearizable concurrent objects (1989)

by W J M Herlihy, M P
Venue:ACM SIGPLAN Notices