Hinman Peter G.. Hierarchies of effective descriptive set theory. Transactions of the American Mathematical Society, vol. 142 (1969), pp. 111–140.