1. The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
2. Models of Peano Arithmetic (The Clarendon Press, Oxford University Press, Oxford Science Publications, 1991).
3. Initial segments of models of arithmetic. Ph.D. thesis, Manchester University, July 1977.
4. and , Initial segments of models of Peano's axioms. In: Set Theory and Hierarchy Theory V (Proc. Third Conf., Bierutowice, 1976), pp. 211–226. Lecture Notes in Mathematics 619 (Springer, 1977).
5. and , The Structure of Models of Peano Arithmetic. Oxford Logic Guides 50 (The Clarendon Press, Oxford University Press, Oxford Science Publications, 2006).