Computability an introduction to recursive function theory
Cutland, Nigel.
Cambridge Cambridge University Press
1980
Bibliography: p.239-240. - Includes index
ISBN 0-521-29465-7 Pbk : £6.75
Recursive functions.