A simplified correctness proof for a well-known algorithm computing strongly connected components.
scientific article; zbMATH DE number 1856373
scientific article