...-definable functionals and ... Conversion. R. Statman (1983) Archiv für mathematische Logik und Grundlagenforschung
...-definierbare Funktionen auf Peanoalgebren. Gerd Mitschke (1972) Archiv für mathematische Logik und Grundlagenforschung
Последовательно и параллельно вычислимые функционалы. В.Ю. Сазонов (1976) Sibirskij matematiceskij zurnal