A lock-free B+tree
Linearizability: a correctness condition for concurrent objects