@article{SchellhornWehrheimDerrick2012,
  author    = {Gerhard Schellhorn and Heike Wehrheim and John Derrick},
  title     = {How to prove algorithms linearisable},
  journal   = {Lecture Notes in Computer Science},
  volume    = {7358},
  pages     = {243 -- 259},
  doi       = {10.1007/978-3-642-31424-7_21},
  year      = {2012},
}