Yu, Liang: Recursion Theory