1. Babich,G.Kh., The DecAS algorithmic language for the solution of problems with incomplete information and its interpreting algorithms. Kibernetika, No., 1974, 61–71 (Russian).
2. Babich,G.Kh. et al., The Incol algorithmic language for computations over incomplete information. Programmirovanie, No.4, 1976,24–32 (Russian).
3. Beckman,L. et al., A partial evaluator and its use as a programming tool. Datalogilaboratoriet, Memo 74/34, Uppsala University, Uppsala, 1974 (also: Artificial Intelligence,vol.7, 1976, 319–357).
4. Chang,C,-L. and Lee, R., Symbolic Logic and Mechanical Theorem-Proving, (Chapter 10.9) Academic Press, 1973.
5. Dixon,J., The SPECIALIZER, a method of automatically writing computer programs. Div. of computer Res. and Technology, NIH: Bethesda, Md