1. Ershov A.P. ALPHA — an automatic programming system of high efficiency, J.ACM, vol.13, N 1, 1966, p.17–24.
2. Kennedy K.N. A survey of compiler optimization.— In: Program Flow Analysis: Theory and Applications, Englewood Cliffs, Prentice-Hall, 1981, p.5–54.
3. Kasyanov V.N. Optimizing transformations of programs, Nauka, Moscow, 1988.— 336 p. (in Russian).
4. Ershov A.P. The transformational approach in software engineering, In: Software Engineering, Abstracts of the reports to the All-Union Conference, Plenary sessions and general material, Institute of Cybernetics, Ukrainian Academy of Science, Kiev, 1979, p.12–26.
5. Partsh H., Steinbruggen R. Program transformation systems, ACM Comput. Surveys, vol.15, N 3, 1983, p.199–236.