1. [B] Beeson, M.J.: Goodman's theorem and beyond. Pac. J. Math.84, 1–16 (1979)
2. [G76] Goodman, N.: The theory of the Gödel functionals. J. Symb. Logic41, 574–582 (1976)
3. [G78] Goodman, N.: Relativized realizability in intuitionistic arithmetic of all finite types. J. Symb. Logic43, 23–44 (1978)
4. [K1] Kleene, S.C.: Introduction to metamathematics. Amsterdam: North-Holland 1952
5. [Kr51, 52] Kreisel, G.: On the interpretation of non-finitist proofs, I and II. J. Symb. Logic16, 241–267 (1951);17, 43–58 (1952)