Two approaches to interprocedural data flow analysis (1981)

by M Sharir, A Pnueli
Venue:in: Program Flow Analysis: Theory and Applications, Prentice-Hall