Полнота с заданной точностью в функциональных системах программного типа
Ю. В. Голунков

Эта публикация цитируется в следующих статьяx:

1. В. Д. Соловьев, “Программные алгебры рекурсивных функций”, УМН, 51:4(310) (1996), 125–144          ; V. D. Solov'ev, “Program algebras of recursive functions”, Russian Math. Surveys, 51:4 (1996), 705–722