Nielson, Flemming. 1981. “Semantic Foundations of Data Flow Analysis”. DAIMI Report Series 10 (131). https://doi.org/10.7146/dpb.v10i131.7585.