Griffor, E. R. Definability and Forcing in E-Recursion. Math. Scand. 1985, 57, 5-28.