Descriptive set theory and forcing: How to prove theorems about borel sets the hard way - Miller, Arnold W (Cambridge University Press, 1995)