Algebraic theory of automata. - Ginzburg, Abraham (ACM monograph series, 1968)