Definability and forcing in E-recursion. - Griffor, E. R. (MATHEMATICA SCANDINAVICA, 1985)