Wait-Free Synchronization. ACM transaction on programming languages and system (1991)

by M Herlihy