Programming approach to computability - Kfoury, A. J.; Moll, Robert N.; Arbib, Michael A. (New York Springer-Verlag, 1982)