Herlihy, M.
Wait-free Synchronization. ACM Transactions on Programming Languages and Systems 13, 1 (1991), 124-149.
Andrei Alexandrescu.
Lock-Free Data Structures. December 17, 2007.
M. Herlihy and J. Wing.
Linearizability: A Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems, Vol. 12, No. 3, July 1990, Pages 463-492.
B.N. Bershad.
Practical Considerations for Non-Blocking Concurrent Objects. Proceedings of the 13th International Conference on Distributed Computing Systems (DCS), pp. 264-273, May 1993. Also published as a Carnegie-Mellon University Technical Report CMU-CS-91-183, October 1991.
