Teixeira, D. do C. e Pereira, F.M.Q. 2013. Um Algoritmo Inter-Procedural para Análise de Largura de Variáveis. Revista Eletrônica de Iniciação Científica em Computação. 12, 3 (abr. 2013).