Sieg, Wilfried, cToward Finitist Proof Theoryd, in: V.F. Hendricks et. al. (Hgg.), Proof Theory, Kluwer: Dordrecht 2000 (Synthese Library; 292), 953114
V. Peckhaus, Mathematical Reviews, M99640 (2003c:01037) (2003).