1. Zadykhailo, I.B.: Sostavlenie tsiklov po parametricheskim zapisyam spetsialnogo vida. Zhurnal vychislitelnoi mathematiki i mathematicheskoi physiki 3(2), 337–357 (1963). (in Russian)
2. Manna, Z., Waldinger, R.: Synthesis: dreams -
$$>$$
programs. IEEE Trans. SE SE–5, 294–398 (1979)
3. Ershov, Y.L., Goncharov, S.S., Sviridenko, D.I.: Semantic programming. Information Processing: Proceedings of IFIP 10th World Computer Congress Series, vol. 10, Amsterdam, pp. 1113–1120 (1986)
4. International Computer Science Series;F Giannesini,1986
5. Genesereth, M.R., Nilsson, N.J.: Logical Foundation of Artificial Intelligence. Morgan Kaufmann, Los Altos (1987)