Nielson, F. (1981) “Semantic Foundations of Data Flow Analysis”, DAIMI Report Series, 10(131). doi: 10.7146/dpb.v10i131.7585.