Algebraic structures in automata and databases theory - Plotkin, B. I. (World Scientific Pub. Co., 1992)