Algebraic structures in automata and databases theory - Plotkin, B. I. (Boris Isaakovich); Greenglaz, L. Ja; Gvaramija, A. A. (Singapore ; River Edge, N.J. : World Scientific, 1992)
41