Teixeira, Douglas, AND 		Pereira, Fernando.
" An Inter-Procedural Algorithm for Variable Width Analysis" <em>Proceedings of the SBC Undergraduate Research Contest (CTIC-SBC)</em> [Online], (16 July 2012)