1. Bounded arithmetic. Ph. D. Dissertation, Princeton 1985.
2. A note on models and submodels of arithmetic. In: Proc. of the Conference on Mathematical Logic, London 1970, Springer Lecture Notes in Mathematics 255 (1971), pp. 128 to 144.
3. and , Fragments of arithmetic and the MRDP theorem. In: Logic and Algorithmic, Monographic No. 30 de L'Enseignement Mathématique (1982), pp. 187 to 206.
4. Diophantine induction and parameter-free induction. Ph. D. Dissertation, Manchester 1987. Part I (Diophantine induction) submitted to the Annals of Pure and Applied Logic.