Recursion Theory Computational Aspects of Definability - Chong, Chi-Tat; Yu, Liang (De Gruyter, 2015)