M. Herlihy and J. Wing, "Linearizability: A Correctness Condition for Concurrent Objects", ACM Transactions on Programming Languages and Systems, Vol. 12, No. 3, 1990, pp. 463-492.
author author author author author title title title title title title title journal journal journal journal journal journal journal volume volume volume volume date pages pages