Keith D. Cooper Ken Kennedy Efficient computation of flow-insensitive interprocedural summary information - a correction. 35-42 1988 23 SIGPLAN Notices 4 http://doi.acm.org/10.1145/44326.44329 db/journals/sigplan/sigplan23.html#CooperK88