Algebraic theory of machines, languages, and semigroups - Arbib, Michael A. (Academic Press, 1968)