Systematic design of program analysis frameworks (1979)

by P Cousot, R Cousot
Venue:In Symp. on Princ. of Prog. Lang