Nielson, F., & Nielson, H. R. (1998). Interprocedural Control Flow Analysis (Extended version). DAIMI Report Series, 27(538). https://doi.org/10.7146/dpb.v27i538.7071