Theory of recursive functions and effective computability - Rogers H (New York McGraw-Hill, 1967)
Keywords: Combinatorial Theory