Flow graph reducibility (1974)

by M Hecht, J Ullman
Venue:Journal of the ACM