Nielson, Flemming, and Hanne Riis Nielson. “Interprocedural Control Flow Analysis (Extended Version)”. DAIMI Report Series 27, no. 538 (December 1, 1998). Accessed April 28, 2024. https://tidsskrift.dk/daimipb/article/view/7071.