Kfoury, A J. A programming approach to computability. / A. J. Kfoury, Robert N. Moll, Michael A. Arbib. - New York : Springer-Verlag, c1982. - viii, 251 p. : ill. - The AKM series theoretical computer science . Includes references and indices Subjects--Topical Terms: Computer functionsProgramming (Electronic computer)