Qualified dataflow analysis (1980)

by L Holley, B Rosen
Venue:In Conference Record of the Seventh ACM Symposium on Principles of Programming Languages