On the efficient engineering of ambitious program analysis (1994)

by J-D Choi, R Cytron, J Ferrante
Venue:IEEE Transactions on Software Engineering