E. R. Griffor, “Definability and forcing in E-recursion”., Math. Scand., vol. 57, pp. 5–28, Dec. 1985.