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