1. M. Bidoit, C. Choppy: ASSPEGIQUE: An integrated environment for algebraic specifications. Proc. TAPSOFT 85 Conf., Springer LNCS 186, pp. 246–260 (1986)
2. K. Futatsugi, J. A. Goguen, J.-P. Jouannaud, J. Meseguer: Principles of OBJ2, Proc. 12th ACM POPL Symposium, New Orleans, Louisiana (1985)
3. A. Geser, H. Hussmann: Experiences with the RAP system — a specification interpreter combining term rewriting and resolution. In: B. Robinet, R. Wilhelm (eds.): ESOP 86 Conference Proceedings, Springer LNCS 213, pp. 339–350 (1986)
4. S. Kaplan: A compiler for conditional term rewriting systems. Report ESPRIT Project METEOR, task 11. Also in: RTA 87 Conference Proceesdings, Springer LNCS 256, pp. 24–41 (1987)
5. H. Klaeren, K. Indermark: A new technique for compiling recursive function definitions. To appear in: Proceedings of the METEOR workshop "Algebraic Methods: Theory, Tools and Applications," Passau 1987.