"Interprocedural side-effect analysis in linear time (with retrospective)"

Keith D. Cooper, Ken Kennedy (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics