Paper: A Provably Correct Scalable Concurrent Skip List | Heykuki News