Teixeira, D., & 		Pereira, F.
(2012).
 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>, (pp. 81-90). Porto Alegre: SBC.