A programming approach to computability - Kfoury, A. J. (The AKM series in theoretical computer science, 1982)