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