1. and , Metamathematics of First Order Arithmetic (Springer, 1993).
2. Models of Peano Arithmetic (Clarendon Press, 1991).
3. True approximations and models of arithmetic. In: Models and Computability (S. B. Cooper and J. K. Truss, eds.). London Math. Soc. Lecture Notes Series 259, pp. 255–278 (Cambridge University Press, 1999).
4. An addition to Rosser's theorem
5. Classification Theory and the Number of Non-Isomorphic Models, 2nd revised edition (North-Holland, 1990).