THINKING RECURSIVELY - Roberts, Eric (New York Wiley, 1986)
Keywords: Recursion Theory