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