Lock-free linked lists and skip lists
Wait-Free Synchronization.