Moschovakis. Classical Descriptive Set Theory as a Refinement of Effective Descriptive Set Theory. Elsevier BV, 2010, doi:10.1016/j.apal.2010.09.010.