NIELSON, Flemming. Semantic Foundations of Data Flow Analysis. DAIMI Report Series, [S. l.], v. 10, n. 131, 1981. DOI: 10.7146/dpb.v10i131.7585. Disponível em: https://tidsskrift.dk/daimipb/article/view/7585. Acesso em: 20 dec. 2025.