1. Adaricheva, K., Nation, J.: Lattices of quasi-equational theories as congruence lattices of semilattices with operators, Parts I and II. Int. J. Algebra Comput. 22, N7 (2012)
2. Fajtlowicz, S., Schmidt, J.: Bézout families, join congruences and meet-irreducible ideals. In: Lattice Theory (Szeged, 1974), Colloq. Math. Soc. János Bolyai, vol. 14, pp. 51–76. North Holland, Amsterdam (1976)
3. Freese, R., Nation, J.: Congruence lattices of semilattices. Pac. J. Math. 49, 51–58 (1973)
4. Gorbunov, V.: Algebraic Theory of Quasivarieties. Plenum, New York (1998)
5. Hyndman, J., Nation, J.: The Lattice of Subquasivarieties of a Locally Finite Quasivariety. Canadian Math. Soc. Books in Mathematics. Springer, New York (2018)