Text this: Recursion theory : computational aspects of definability / Chi Tat Chong, Liang Yu.