Bibliography: p.239-240. _ Includes index.
Computability : an introduction to recursive function theory by Nigel Cutland. ISBN 0521223849. Published by Cambridge University Press in 1980. Publication and catalogue information, links to buy online and reader comments.