Kfoury, A. J. Programming approach to computability by A.J.Kfoury, Roert N.Moll and Michael A.Arbib. - New York Springer-Verlag 1982 - v, 251p - AKM series in theoretical computer science . Texts and monographs in computer science ISBN: 0387907432 LCCN: 82-10488 Dewey Class. No.: 519.4 / N825;6