Griffor, E. R. (1985) “Definability and forcing in E-recursion”., MATHEMATICA SCANDINAVICA, 57, pp. 5–28. doi: 10.7146/math.scand.a-12103.