Discover strongly connected components of a directed graph