Theory of recursive functions and effective computability (1967)

by H Rogers