[1] Baldwin J. T., Berman J.: Definable principal congruence relations: kith and kin. Acta Sci. Math. (Szeged), 44 (1982), 255-270. MR 0684382 | Zbl 0503.08003

[2] Berman J., Grätzer G.: Uniform representations of congruence schemes. Pacific J. of Mathem. 76 (1978), 301-311. DOI 10.2140/pjm.1978.76.301 | MR 0491411

[3] Grätzer G.: Universal algebra and lattice theory: A story and three research problems, Universal Algebra and its Links with Logic, Algebra Combinatorics and Computer Science. Proc. "25. Arbeitstandung über Allgemeine Algebra", Darmstadt 1983, Heldermann Verlag 1984,1-13. MR 0792499