@inproceedings{linearizability-esop09,
  title = "Abstraction for Concurrent Objects",
  author = "Ivana Filipovic and Peter W. O’Hearn and Noam Rinetzky and Hongseok Yang",
  year = "2009",
  address = "York, UK",
  booktitle = "Proceedings of the 18th European Symposium on Programming",
  isbn = "978-3-642-00589-3",
  month = "March",
  pages = "252--266",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5502",
}