@article{DerrickSchellhornWehrheim2011,
  author    = {John Derrick and Gerhard Schellhorn and Heike Wehrheim},
  title     = {Verifying linearisability with potential linearisation points},
  journal   = {Lecture Notes in Computer Science},
  volume    = {6664},
  pages     = {323 -- 337},
  doi       = {10.1007/978-3-642-21437-0_25},
  year      = {2011},
}