David Melski Thomas W. Reps The Interprocedural Express-Lane Transformation. 200-216 2003 conf/cc/2003 CC http://link.springer.de/link/service/series/0558/bibs/2622/26220200.htm db/conf/cc/cc2003.html#MelskiR03