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