F. Nielson, “Semantic Foundations of Data Flow Analysis”, DPB, vol. 10, no. 131, Feb. 1981.