Algebraic automata theory - Holcombe, W. M. (Cambridge Univ. Press, 1982)