Two approaches to interprocedural data-flow analysis (1981)

by Micha Sharir, Amir Pnueli
Venue:Program Flow Analysis: Theory and Application. Prentice Hall Professional Technical Reference