Estudo de alguns algoritmos para analise global de fluxo de dados - Silva, Katia Luckwu de Santana (1984)
Orientador: Tomasz Kowaltowski