Flow graph reducibility (1972)

by Matthew S Hecht, Jeffrey D Ullman
Venue:In Proceedings of the fourth annual ACM symposium on Theory of computing