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