D. do C. Teixeira e F. M. Q. Pereira, “Um Algoritmo Inter-Procedural para Análise de Largura de Variáveis”, REIC, vol. 12, nº 3, abr. 2013.