Wait-free synchronization (1991)

by M P Herlihy
Venue:ACM TOPLAS