Return to File:Herlihy, Lev, Luchangco, Shavit - A Provably Correct Scalable Concurrent Skip List.pdf.