M. Sharir

• A strong-connectivity algorithm and its applications in data flow analysis