@misc{indiciaef57dcc71fc04,
  title = {Simplifying proofs of linearisability using layers of abstraction},
  author = {Brijesh Dongol and John Derrick},
  year = {2013},
  url = {https://arxiv.org/abs/1307.6958},
  note = {Source identifier: 1307.6958}
}