TR-90-29
Partial Evaluation of Intermediate Code from Equational Programs
Sherman, David J.; Strandh, Robert I.. 10 September, 1990.