A Randomized Concurrent Algorithm for Disjoint Set Union
Wait-Free Synchronization.