Teixeira, Douglas, and Fernando Magno Quintão Pereira.
" Um Algoritmo Inter-Procedural para Análise de Largura de Variáveis." <em>Anais do XXXI Concurso de Trabalhos de Iniciação Científica da SBC,
Curitiba/PR, 2012</em>. SBC, 2012,  
pp.81-90.