First course in computability - Rayward-smith, V J (Blackwell Scientific Publications Oxford, 1986)
Keywords: Computable functions