A non-blocking internal binary search tree
Linearizability: a correctness condition for concurrent objects