[1]
B. Dongol and J. Derrick, “Simplifying proofs of linearisability using layers of abstraction”, ECEASST, vol. 66, Feb. 2014.