Nielson, F. A Denotational Framework for Data Flow Analysis. DPB 1981, 10.