NIELSON, F. A Denotational Framework for Data Flow Analysis. DAIMI Report Series, [S. l.], v. 10, n. 135, 1981. DOI: 10.7146/dpb.v10i135.7410. Disponível em: https://tidsskrift.dk/daimipb/article/view/7410. Acesso em: 26 apr. 2024.