Algebraic automate theory - Holcombe W M L (Cambridge CUP, 1982)
Includes Bibliography; Appendix 215-220p
Keywords: Higher algebra