A basis for theoretical computer science - Arbib, Michael A. (Springer, 1981)