Fundamentals of generalized recursion theory. - Fitting Melvin (Oxford North Holland Publishing, 1981)