R.E. degrees of continuous functionals. Dag Normann (1983) Archiv für mathematische Logik und Grundlagenforschung
Recursion theoretic operators and morphisms on numbered sets Henk Barendregt, Giuseppe Longo (1983) Fundamenta Mathematicae