[AKZ03] Adamowicz, Z., Kołodziejczyk, L. A., and Zbierski, P., An application of a reflection principle, Fundamenta Mathematicae, vol. 180 (2003), pp. 139–159.
[Bus95] Buss, S. R., Relating the bounded arithmetic and polynomial time hierarchies, Annals of Pure and Applied Logic, vol. 75 (1995), pp. 67–77.
[HP93] Hájek, P. and Pudlák, P., Metamathematics of first-order arithmetic, Springer-Verlag, 1993.
[KP78] Kirby, L. A. S. and Paris, J. B., Σn collection schemas in arithmetic. Logic colloquium 77 (Macintyre, A.. Pacholski, L., and Paris, J., editors), Studies in Logic and the Foundations of Mathematics, vol. 96, North-Holland, 1978, pp. 199–209.
[Les78] Lessan, H., Models of arithmetic, Ph.D. thesis, University of Manchester, 1978.
[WP89] Wilkie, A. J. and Paris, J. B., On the existence of end-extensions of models of bounded induction, Logic, methodology, and philosophy of science VIII (Moscow 1987) (Fenstad, J. E., Frolov, I. T., and Hilpinen, R., editors), North-Holland, 1989, pp. 143–161.
[Zam96] Zambella, D., Notes on polynomially bounded arithmetic, this Journal, vol. 61 (1996), pp. 942–966.
[Zam97] Zambella, D., End extensions of models of polynomially bounded arithmetic, Annals of Pure and Applied Logic, vol. 88 (1997), pp. 263–277.