1. A. V. Anisimov, ?Syntactic properties of recursive program schemes,? Kibernetika, No. 3 (1977).
2. E. Ashcroft, Z. Manna, and A. Pnuelli, ?Solvable properties of one-argument functional schemes,? Languages and Automata [Russian translation], Mir, Moscow (1975).
3. D. W. Barron, Recursive Techniques in Programming, American Elsevier (1968).
4. S. Garland and D. Lackham, ?Standard schemes, recursive schemes, and formal languages,? Cybernetic Collection. New Series [Russian translation], No. 13, Mir, Moscow (1976).
5. V. M. Glushkov, ?Theory of automata and questions of the design of digital machine structures,? Kibernetika, No. 1 (1965).