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