A programming approach to computability - Arbib, Michael A. (Texts and monographs in computer science, 1968)