A version of the ...1-reflection principle for CFA provable in PRA. Peter Päppinghaus (1980) Archiv für mathematische Logik und Grundlagenforschung
Axiomatizability of second order arithmetic with ω-rule Paweł Zbierski (1978) Fundamenta Mathematicae