1. Clocksin, W. F., and C. S. Mellish, Programming in Prolog, Springer-Verlag (1981).
2. Demoen, B., On the transformation of a Prolog program to a more efficient binary program, Proceedings of the workshop on logic program synthesis and transformation, 1992, Springer-Verlag Workshops in Computing (this volume).
3. Gallagher, J., A system for specialising logic programs, Report TR-91–32, Computer Science Department, University of Bristol, UK, 1991.
4. Gallagher, J., and D. A. de Waal, Specialisation in context, Proceedings of the workshop on logic program synthesis and transformation, 1992, Springer-Verlag Workshops in Computing (this volume).
5. Jones, J., Prolog, data abstraction, and program transformation: a preliminary report, Research report 91/1, Department of Computer Science, University of Hull, UK, 1991.