Theory of recursive functions and effective computability - Jr, Harley Rogers (McGraw-Hill, 1967)