Principal congruence relations and principal tolerances on varieties of lattices Jaromír Duda (1989) Mathematica Slovaca