Congruence lattices of free lattices in non-distributive varieties Miroslav Ploščica, Jiří Tůma, Friedrich Wehrung (1998) Colloquium Mathematicae