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