Algebraic automata theory - Holcombe W M L (1982)