Monotone data flow analysis frameworks (1977)

by John B Kam, Jeffrey D Ullman
Venue:Acta Informatica