SCC(G) DFS(G) to compute finishing times compute GT DFS(GT) considering vertices in main loop in decreasing order by finish time output each tree in DFF of T as a SCC