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