[1] G. A. FRASER A. HORN:
Congruence relations in direct products. Proc. Amer. Math. Soc. 26 (1970), 390-394.
MR 0265258
[2] R. FREESE R. McKENZIE:
Commutator. an overview, preprint 1981.
MR 0603772
[3] G. GRÄTZER:
Universal Algebra. Van Nostrand, New York 1968.
MR 0248066
[4] T. K. HU: On equational classes in which congruences on finite products are induced by congruences on their factors. manuscript 1970.
[6] P. ZLATOŠ: Unitary congruence adjunctions. disertation 1983 (in Slovak).