Zhiyuan Li Pen-Chung Yew Efficient Interprocedural Analysis for Program Parallelization and Restructuring. 85-99 1988 PPOPP/PPEALS db/conf/ppopp/ppopp88.html#LiY88