1. Parallel algorithms for finding SCCs in implicitly given graphs;Barnat,2007
2. Introduction to Algorithms;Cormen,1990
3. Is there a best symbolic cycle-detection algorithm?;Fisler,2001
4. On identifying strongly connected components in parallel;Fleischer,2000