A basis for theoretical computer science - Arbib, Michael A. (Texts and monographs in computer science., 1981)