Richard Cole Ofer Zajicek An Asynchronous Parallel Algorithm for Undirected Graph Connectivity. 50-97 1995 18 J. Algorithms 1 db/journals/jal/jal18.html#ColeZ95