Nielson, Flemming. “A Denotational Framework for Data Flow Analysis”. DAIMI Report Series 10, no. 135 (July 1, 1981). Accessed April 27, 2024. https://tidsskrift.dk/daimipb/article/view/7410.