Flow Graph Reducibility (1972)

by M S Hecht, J D Ullman
Venue:SIAM J. Comput