1. RS Bird. The promotion and accumulation strategies in transformational programming. ACM TOPLAS, 6 (4): 487–504, 1984.
2. RM Burstall and J Darlington. A transformation system for developing recursive programs. JA CM, 24 (1): 44–67, 1977.
3. J Darlington. An experimental program transformation and synthesis system. Artificial Intelligence, 16 (1): 1–46, 1981.
4. MS Feather. A system for assisting program transformation. ACM TOPLAS, 4 (1): 1–20, 1982.
5. ND Jones, CK Gomard, and P Sestoft. Partial evaluation and automatic program generation. Prentice Hall, 1993.