Books by Symposium on Partial Evaluation and Semantics-Based Program Manipulation (1993 Copenhagen, Denmark)