Effective cofinalities and admissibility in E-recursion E. Griffor, Dag Normann (1984) Fundamenta Mathematicae