[1] J. Ježek: The lattice of equational theories. Part I: Modular elements. Czechoslovak Math. J. 31 (1981), 127–152. MR 0604120

[2] J. Ježek: The lattice of equational theories. Part II: The lattice of full sets of terms. Czechoslovak Math. J. 31 (1981), 573–603. MR 0631604

[3] J. Ježek: The lattice of equational theories. Part III: Definability and automorphisms. Czechoslovak Math. J. 32 (1982), 129–164. MR 0646718

[4] J. Ježek: The lattice of equational theories. Part IV: Equational theories of finite algebras. Czechoslovak Math. J. 36 (1986), 331–341. MR 0831318

[5] J. Ježek and R. McKenzie: Definability in the lattice of equational theories of semigroups. Semigroup Forum 46 (1993), 199–245. MR 1200214

[6] A. Kisielewicz: Definability in the lattice of equational theories of commutative semigroups. Trans. Amer. Math. Soc. 356 (2004), 3483–3504. MR 2055743 | Zbl 1050.08005

[7] R. McKenzie, G. McNulty and W. Taylor: Algebras, Lattices, Varieties, Volume I. Wadsworth & Brooks/Cole, Monterey, CA, 1987. MR 0883644