J.Cocke, "Graph theoretic constructs for program control flow analysis (1972)

by F E Allen
Venue:Tech. Rep. RC 3923 (No. 17789), IBM, Thomas J. Watson Research