[1] Foster A. L.: Functional completeness in the small. Algebraic structure theorems and identities. Math. Ann., v. 143, N 1, 1961, 29-53. MR 0122745 | Zbl 0095.02201

[2] Burris S.: Boolean powers. Alg. Univ., v. 5, N 3, 1975, 341-360. MR 0447078 | Zbl 0328.08003

[3] Pinus A. G.: Boolean constructions in universal algebra. Kluwer Academ. Publish., Dordrecht-Boston-London, 1993. MR 1228210

[4] Pinus A. G.: On the covers in epimorphism skeletons of varгeties of algebras. Algebra and logic, v. 27, N 3, 1988, 316-326, (in Russian). MR 0997962

[5] Malcev A. I.: The model correspondences. Izvestia AN SSSR, ser. math., v. 23, N 3, 1959, 313-336, (in Russian). MR 0120152

[6] Cleave I. P.: Local properties of systems. J. London Math. Soc. (1), v. 44, N 1, 1969, 121-130, Addendum., J. London. Math. Soc. (2), v. 1, N 2, 1969, p. 384. MR 0235995 | Zbl 0169.00701

[7] Kargapolov M. I., Merzljakov, Ju. I.: Fundaments of the theory of groups. Nauka, Moscow, 1972, (in Russian). MR 0444747

[8] Chajda I.: Algebraic theory of tolerance relations. UP Olomouc, Monography series., 1991. Zbl 0747.08001

[9] Pinus A. G., Chajda I.: Quasiorders on the universal algebras. Algebra and logic, v. 32, N 3, 1993, (in Russian). MR 1286557

[10] Fraser G. A., Horn A.: Congruence relations in direct products. Proc. Amer. Math. Soc., v. 26, N 2, 1970, 390-394. MR 0265258 | Zbl 0241.08004