Theory of recursive functions and effective computability - Rogers, Hartley (MIT Press, 2000)