A Basic for teoretical computer science - Arbib, Michael A. (Springer Verlag, 1981)