Dongol, B.; Derrick, J. Simplifying Proofs of Linearisability Using Layers of Abstraction. eceasst 2014, 66.