Theory of recursive functions and effective computability. - Rogers, H. (Mcgraw-Hill Book Company, 1967)