1. Antoy, S. (1990): Design strategies for rewrite rules. In: Kaplan, S., Okada, M. (eds.): Conditional and typed rewriting systems. Springer, Berlin Heidelberg New York Tokyo, pp. 333–341 (Lecture notes in computer science, vol. 516).
2. Antoy, S., Forcheri, P., Molfino, M. T. (1990): Specification-based code generation. In: Shriver, B. D. (ed.): Proceedings 23rd Hawaii International Conference on System Sciences, vol. II, software. IEEE Computer Society Press, Los Alamitos, pp. 165–173.
3. Bibel, W. (1987): Automated theorem proving. F. Vieweg und Sohn, Wiesbaden.
4. Bonamico, S., Cioni, G. (1988): Embedding flexible control strategies into object oriented languages. In: Mora, T. (ed.): Applied algebra, algebraic algorithms and errorcorrecting codes. Springer, Berlin Heidelberg New York Tokyo, pp. 454–457 (Lecture notes in computer science, vol. 357).
5. Buchberger, B., Collins, G. E., Loos, R. (eds.) (1983): Computer algebra, symbolic and algebraic computation, 2nd edn. Springer, Wien New York.