Teixeira, Douglas do Couto, e Fernando Magno Quintão Pereira. 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). https://sol.sbc.org.br/journals/index.php/reic/article/view/1010.