F. Nielson and H. R. Nielson, “Interprocedural Control Flow Analysis (Extended version)”, DPB, vol. 27, no. 538, Dec. 1998.