A non-blocking internal binary search tree
Lock-free linked lists and skip lists