A Constructive Theory of Recursive Functions (1973)

by Robert L Constable