Partial Evaluation of Computation Process An Approach to a Compiler-Compiler
citeseer.ist.psu.edu