1. Gratzer, G.: General lattice theory. In: Davey, B.A., Freese, R., Ganter, B., Greferath, M., Jipsen, P., Priestley, H.A., Rose, H., Schmidt, E.T., Schmidt, S.E., Wehrung, F., Wille, R. (eds.), 2nd edn., Birkhauser Verlag, Basel (2003); MR 2451139
2. Gratzer, G., Schmidt, E.T.: Characterizations of congruence lattices of abstrac algebras. Acta Sci. Math (Szeged) 24, 34–59 (1963); MR 0151406 (27 #1391)
3. Studies in Logic and the Foundations of Mathematics;P. Odifreddi,1989
4. Pudlak, P.: A new proof of the congruence lattice representation theorem. Algebra Universalis 6(3), 269–275 (1976); MR 0429699 (55#2710)
5. Sacks, G.E.: Higher recursion theory, Perspectives in Mathematical Logic. Springer, Berlin (1990); MR 1080970 (92a:03062)