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