Bloem, Roderick; Gabow, Harold N.; Somenzi, Fabio (January 2006), "An algorithm for strongly connected component analysis in n log n symbolic steps", Formal Methods in System Design, 28 (1): 37–56, doi:10.1007/s10703-006-4341-z, S2CID11747844.
Bloem, Roderick; Gabow, Harold N.; Somenzi, Fabio (January 2006), "An algorithm for strongly connected component analysis in n log n symbolic steps", Formal Methods in System Design, 28 (1): 37–56, doi:10.1007/s10703-006-4341-z, S2CID11747844.