Chaim, Marcos, Maldonado, José, E Jino, Mario. " Modelando a Determinação de Potenciais Du-Caminhos Através da Análise de Fluxo de Dados" Anais do Simpósio Brasileiro de Engenharia de Software (SBES) [Online], (25 outubro 1989)