On Identifying Strongly Connected Components in Parallel
Depth first search and linear graph algorithms