A program development methodology based on a unified approach to execution and transformation (1988)

by John Darlington, Helen Pull
Venue:Partial Evaluation and Mixed Computation