Chaim, Marcos, José C. Maldonado, and Mario Jino. " Modelando a Determinação de Potenciais Du-Caminhos Através da Análise de Fluxo de Dados." Anais do III Simpósio Brasileiro de Engenharia de Software, Recife/PE, 1989. SBC, 1989, pp.239-251.