Nielson, F. “Semantic Foundations of Data Flow Analysis”. DAIMI Report Series, vol. 10, no. 131, Feb. 1981, doi:10.7146/dpb.v10i131.7585.