@inproceedings{LevHLS06,
 author = {Yossi Lev and Maurice Herlihy and Victor Luchangco and Nir Shavit},
 title = {A Provably Correct Scalable Skiplist (Brief Announcement)},
 booktitle = {OPODIS 2006},
 year = {2006}
 }