Douglas Teixeira and Fernando Pereira. 2012.
 An Inter-Procedural Algorithm for Variable Width Analysis. In <em>Proceedings of the 31st SBC Undergraduate Research Contest</em>, July 16, 2012, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 81-90.