@inproceedings{VafeiadisHHS06,
 author = {Viktor Vafeiadis and Maurice Herlihy and Tony Hoare and Marc Shapiro},
 title = {Proving correctness of highly-concurrent linearisable objects},
 booktitle = {PPoPP '06: Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming},
 year = {2006},
 isbn = {1-59593-189-9},
 pages = {129--136},
 location = {New York, New York, USA},
 doi = {http://doi.acm.org/10.1145/1122971.1122992},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }