Books by IFIP TC2 Workshop on Partial Evaluation and Mixed Computation (1987 Agernæs, Denmark)