Wang, Talmage, Lee, Welch, 2014. Improved Time Bounds for Linearizable Implementations of Abstract Data Types, in: . IEEE.. https://doi.org/10.1109/ipdps.2014.77