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