https://isa-afp.org/entries/SCC_Bloemen_Sequential.html
Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph -...
Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph in the Archive of Formal Proofs
strongly connected components