Pātuhitia tēnei: Theory of recursive functions and effective computability / Hartley Rogers, Jr.