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