Nielson, F.; Nielson, H. R. Interprocedural Control Flow Analysis (Extended Version). DPB 1998, 27.