1. Yu. V. Matiyasevich, “Enumerable sets are Diophantine,” Dokl. Akad. Nauk SSSR,191, 279–282 (1970).
2. D. Knuth, The Art of Computer Programming [Russian translation], Vol. 3, Mir, Moscow (1978).
3. R. W. Floyd and D. E. Knuth, “Addition machines”, SIAM J. Comput.19, No. 2, 329–340 (1990).
4. A. V. Anisimov, Ya. P. Ryndin, and S. E. Red'ko, “Inverse Fibonacci transformation”, Kibernetika, No. 3, 9–11 (1982).
5. A. V. Anisimov and P. P. Kulyabko, “Programming parallel processes in control spaces”, Kibernetika, No. 3, 79–88 (1984).