Nielson, F. Semantic Foundations of Data Flow Analysis. DPB 1981, 10.