A programming approach to computability - Kfoury, A. J. (Springer Verlag, 1982)