1. R. M. Burstall and J. Darlington. A Transformation System for Delevoping Recursive Programs. J ACM, Vol. 24, No. 1, January 1977, pp. 44–67.
2. S. K. Debray. Unfold/Fold Transformations and Loop Optimization of Logic Programs. Proc. SIGPLAN 88, Conference on Programming Language Design and Implementation, Atlanta, Georgia, 1988.
3. M. S. Feather. A Survey and Classification of Some Program Transformation Techniques. Proc. TC2 IFIP Working Conference on Program Specification and Transformation, Bad TÖolz Germany, 1986.
4. A. Pettorossi. Transformation of Programs and Use of Tupling Strategy. Proc. Informatica 77, Bled, Yugoslavia, 1977, pp. 3 103, 1-6.
5. A. Pettorossi and M. Proietti. Importing and Exporting Information in Program Development Proc. IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernaes, Denmark, North Holland 1987, pp. 405-425.