@inproceedings{DBLP:conf/ppopp/VafeiadisHHS06,
  title = "Proving correctness of highly-concurrent linearisable objects",
  author = "Viktor Vafeiadis and Maurice Herlihy and Tony Hoare and Marc Shapiro",
  year = "2006",
  booktitle = "Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2006, New York, New York, USA, March 29-31, 2006",
  editor = "Josep Torrellas and Siddhartha Chatterjee",
  pages = "129-136",
  publisher = "ACM",
  doi = "10.1145/1122971.1122992",
}