Математическая энциклопедия
Всюду определенный частично рекурсивный оператор. В. Е. Плиско.
рекурсивный оператор