Jonnson B. Algebras Whose Congruence Lattices are Distributive. Math. Scand. 1967;21:110-121. doi:10.7146/math.scand.a-10850