Teixeira, Douglas, and Fernando Magno Quintão Pereira.
" An Inter-Procedural Algorithm for Variable Width Analysis." <em>Proceedings of the 31st SBC Undergraduate Research Contest,
Curitiba/PR, 2012</em>. SBC, 2012,  
pp.81-90.