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