Grätzer, G. & Lakser, H. (1991). On Complete Congruence Lattices of Complete Lattices. Trans. Amer. Math. Soc., 327, 385--405.