@inproceedings{PPoPP-2006-VafeiadisHHS,
	author        = "Viktor Vafeiadis and Maurice Herlihy and Charles Antony Richard Hoare and Marc Shapiro",
	booktitle     = "{Proceedings of the 11th Symposium on Principles and Practice of Parallel Programming}",
	doi           = "10.1145/1122971.1122992",
	isbn          = "1-59593-189-9",
	pages         = "129--136",
	publisher     = "{ACM}",
	title         = "{Proving correctness of highly-concurrent linearisable objects}",
	year          = 2006,
}