Pavel Pudlák: Ramsey's Theorem in Bounded Arithmetic. CSL 1990: 308-317