1. V. A. Gorbunov, "Coverings in lattices of quasivarieties and independent axiomatizability," Algebra Logika,16, No. 5, 507–548 (1977).
2. G. Grätzer, General Lattice Theory [Russian translation], Mir, Moscow (1982).
3. A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
4. A. I. Mal'tsev, "Subdirect products of models," Dokl. Akad. Nauk SSSR,109, No. 2, 264–266 (1956).
5. E. Rasiowa and R. Sikorski, Mathematics of Metamathematics [Russian translation], Nauka, Moscow (1972).