1. É. Kh. Tyugu, Conceptual Programming [in Russian], Nauka, Moscow (1984).
2. Ya. M. Barzdin?, A. N. Brakhzma, and E. B. Kinber, ?Inductive synthesis: status, problems, perspectives,? Kibernetika, No. 6, 81?86 (1987).
3. A. P. Ershov, ?Transformation computer: theme and variations,? in: Problems of Theoretical and System Programming [in Russian], NGU, Novosibirsk (1979), pp. 5?45.
4. R. M. Burstal and J. Darlington, ?A transformation system for developing recursive programs,? J. ACM,24, 44?67 (1977).
5. F. L. Bauer, ?Program development by stepwise transformation ? the project CIP,? Lect. Notes Computer Sci.,69, 237?272 (1979).