- Descriptive Set Theory and the Structure of Sets of Uniqueness (London Mathematical Society Lecture Note Series)
- Classical Descriptive Set Theory
- Topics in Orbit Equivalence (Lecture Notes in Mathematics)
- The Descriptive Set Theory of Polish Group Actions (London Mathematical Society Lecture Note Series)
- Analysis and Logic