A lazy concurrent list-based set algorithm
Concurrency of operations on B-trees