Pregel Algorithms for Graph Connectivity Problems with Performance Guarantees
Depth-First Search is Inherently Sequential