1. M. Z. Ariola and Arvind. A syntactic approach to program transformation. In Proceedings of the symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'91), pages 116–129. ACM press, 1991.
2. D. Bjørner, A. P. Ershov, and N. D. Jones, editors. Partial Evaluation and Mixed Computation, Gammel Avernæs, October 18–24 1987. North-Holland.
3. R.L. Constable, S.F. Allen, H.M. Bromley et al. Implementing mathematics with the Nurpl Proof development system Prentice-Hall, 1986.
4. H-M. Haav and M. Matskin. Using partial deduction for automatic propagation of changes in OODB. In H. Kangassalo et al, editor, Information Modeling and Knowledge Bases IV, pages 339–352. IOS Press, 1993.
5. N. D. Jones, C. K. Gomard, and P. Sesoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, Englewood Cliffs, NJ, 1993.