Compute the strongly-connected components of a digraph using the