1. V. A. Gorbunov, "Coverings in lattices of quasivarieties and independent axiomatizability," Algebra Logika,10, No. 5, 507–548 (1977).
2. V. A. Gorbunov, "Quasiidentities of finite algebras," in: 15th All-Union Algebraic Conference, Part 2 [in Russian] (1979), p. 42.
3. A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka (1970).
4. A. I. Mal'tsev, "To the general theory of algebraic systems," Mat. Sb.,35, No. 1, 3–20 (1954).
5. K. A. Baker, "Finite equational bases for finite algebras in a congruence-distributive equational class," Adv. Math.,24, 207–243 (1977).