Title: A strong-connectivity algorithm and its applications in data flow analysis
First published: 1979