Lars Ole Andersen Carsten K. Gomard Speedup Analysis in Partial Evaluation: Preliminary Results. 1-7 1992 PEPM db/conf/pepm/pepm92.html#AndersenG92