1. Lennart Augustsson: “Compiling pattern matching”, Conference on Functional Programming Languages and Computer Architecture (ed. J.-P. Jouannaud), Nancy, France 1985, Lecture Notes in Computer Science 201, 368–381, Springer-Verlag 1985.
2. J. C. M. Baeten, J. A. Bergstra, and J. W. Klop: “Term rewriting systems with priorities”, Rewriting Techniques and Applications (ed. Pierre Lescanne), Bordeaux, France 1987, Lecture Notes in Computer Science 256, 83–94, Springer-Verlag 1987.
3. Maria Paola Bonacina: “Partial evaluation in functional rewrite programming”, AICA Annual Conference, Cagliari, Italy 1988.
4. Anders Bondorf: “Towards a self-applicable partial evaluator for term rewriting systems”, in [PEMC 88].
5. Anders Bondorf, Neil D. Jones, Torben Æ. Mogensen, and Peter Sestoft: “Binding time analysis and the taming of self-application”, submitted for publication.