Computing strongly connected components in a linear number of symbolic steps
The Design And Analysis Of Computer Algorithms