D. Teixeira and F. Pereira.
" An Inter-Procedural Algorithm for Variable Width Analysis", in <em>Proceedings of the 31st SBC Undergraduate Research Contest</em>, Curitiba/PR, 2012, pp. 81-90.