Griffor ER. Definability and forcing in E-recursion. Math. Scand. 1985;57:5-28. doi:10.7146/math.scand.a-12103