A Basic for Theoretical Computer Science - Arbib, Michael A. (Springer-Verlag, 1981)