Douglas Teixeira and Fernando Pereira. 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>, julho 16, 2012, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 81-90.