Journal article:

Samuel R. Buss.
"Bounded Arithmetic, Proof Complexity and Two Papers of Parikh."
Annals of Pure and Applied Logic 96 (1999) 43-55.