@article{DerrickSchellhornWehrheim2011,
  author    = {John Derrick and Gerhard Schellhorn and Heike Wehrheim},
  title     = {Mechanically verified proof obligations for linearizability},
  journal   = {ACM Transactions on Programming Languages and Systems},
  volume    = {33},
  number    = {1},
  pages     = {4},
  doi       = {10.1145/1889997.1890001},
  year      = {2011},
}