M. Chaim, J. Maldonado, and M. Jino. " Modelando a Determinação de Potenciais Du-Caminhos Através da Análise de Fluxo de Dados", in Anais do III Simpósio Brasileiro de Engenharia de Software, Recife/PE, 1989, pp. 239-251, doi: https://doi.org/10.5753/sbes.1989.25263.