@article{SchellhornDerrickWehrheim2014,
  author    = {Gerhard Schellhorn and John Derrick and Heike Wehrheim},
  title     = {A sound and complete proof technique for linearizability of concurrent data structures},
  journal   = {ACM Transactions on Computational Logic},
  volume    = {15},
  number    = {4},
  pages     = {31},
  doi       = {10.1145/2629496},
  year      = {2014},
}