A methodology for implementing highly concurrent objects. (1993)

by Maurice Herlihy
Venue:ACM Trans. Program. Lang. Syst.,