1. Arsac J. La construction de programmes structures. — Paris: Dunod, 1977.
2. Backus J. Programming language semantics and closed applicative languages. —In: Conf. record of ACM symp. on principles of programming languages. — N.Y.: Association for computing machinery, 1973, p. 71–86.
3. Bauer F.L. Program development by stepwise transformations — the Project CIP. —In: Bauer F.L. and Broy M. (Eds) Program construction. LNCS, vol.69 — Berlin a.o.: Springer, 1979, p. 237–272.
4. Beckman L., Haraldson A., Oskarson O., Sandewall E. A partial evaluator and its use as a programming tool. — Artificial Intelligence, 7, 1976, p. 319–357.
5. Burstall R., Feather M. Program development by transformations: an overview. —In: Proceedings of Toulouse CREST cource on programming. — Toulouse, 1978.