R.E. degrees of continuous functionals. Dag Normann — 1983 Archiv für mathematische Logik und Grundlagenforschung
Effective cofinalities and admissibility in E-recursion E. Griffor; Dag Normann — 1984 Fundamenta Mathematicae