A strong-connectivity algorithm and its application in data flow analysis (1981)

by M Sharir
Venue:Computers and Mathematics with Applications