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