Grätzer, George, Lakser, Henry, On Complete Congruence Lattices of Complete Lattices, in: Trans. Amer. Math. Soc. 327 1 (1991), S. 385--405.