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