[1] A. V. AHO J. E. HOPCROFT J. D. ULLMAN: 
The design and analysis of computer algorithms. Addison-Wesley, 1974. 
MR 0413592[2] M. DEMLOVÁ J. DEMEL V. KOUBEK: 
On subdirectly irreducible  automata. to appear in RAIRO. 
MR 0610944[3] M. DEMLOVÁ J. DEMEL V. KOUBEK: 
Several algorithms for finite  algebras. Fundamentals of Computer Theory,  FCT'79, 1979, 99-104. 
MR 0563663[4] M. DEMLOVÁ J. DEMEL V. KOUBEK: Algorithms deciding subdirect  irreducibility of algebras. to appear.
[5] G. GRÄTZER: 
Universal algebra. Princeton, Van Nostrand and co., Inc.,   1968. 
MR 0248066