Algebraic structures in automata and databases theory. - Boris I. Plotkin; L. J. Greenglaz; A. A. Gvaramija (World Scientific, 1992)