Griffor, E. R. “Definability and Forcing in E-Recursion”. MATHEMATICA SCANDINAVICA, vol. 57, Dec. 1985, pp. 5-28, doi:10.7146/math.scand.a-12103.