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