A Basic for Theoretical Computer Science - Arbib, Michael A. (The AKM Series in Theoretical Computer Science : A Subseries of Texts and Monographs in Computer Science, 1981)