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