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