Theory of recursive functions and effective computability - Rogers, Hartley 1926- (McGraw-Hill, 1967)