1. Ajtai, M. Σ 1 1 -formulae on finite structures. Annals of Pure and Applied Logic, 24(1),(1983).
2. Bel’tyukov,A. A computer description and a hierarchy of initial Grzegorczyk classes. Zap.Navcu.Sem.Leningrad Otdel Mat. Inst.Steklov (LOMI) 88, (1979).
3. Gaifman, H. & Dimitracopoulos, C. Fragments of Peano’s Arithmetic and the MRDP theorem, Logic and Algorithmic, Monographie No 30 de L’Enseignement Mathematique
4. Goad, C. Duplicated Notes on the pigeon hole principle.
5. Hicks, J. A machine characterization of quantification and primitive recursion with applications to low level complexity classes. Ph.D. Thesis, Oxford University (Submitted 1983).