FIAT: A Framework for Interprocedural Analysis and Transfomation. - Mary W. Hall; John M. Mellor-Crummey; Alan Carle; René G. Rodríguez (LCPC, 1993)