Computability theory : an introduction to recursion theory - 461543 Enderton, Herbert B. (Amsterdam ; Boston : Academic Press)
Includes bibliographical references (p. 163-164) and index