1. Bauer, F.L., Partsch, H., Pepper, P., Wössner, H.: Notes on the project CIP: Outline of a transformation system, TUM-INFO-7729, 1977.
2. Burstall, R., Darlington, J.: A transformation system for developing recursive programs, JACM,Vol. 24 No 1, January 1977,pp. 44–67.
3. Dershowitz, N.: Equations as Programming Language, Conference on Information Technology, Jerusalem, Israel, May 1984.
4. Dershowitz, N.: Synthesis by completion, IJCAI-85, pp. 208–214.
5. B.Fronhoefer, R.Caferra, P.Jacquet: Improvement of recursive programs from a logic programming point of view, GWAI-84, Informatik-Fachberichte 103, pp. 229–237