Nielson, Flemming. 1981. “A Denotational Framework for Data Flow Analysis”. DAIMI Report Series 10 (135). https://doi.org/10.7146/dpb.v10i135.7410.