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