The Congruences of a Finite Lattice A Proof-by-Picture Approach - Grätzer, George (Birkhäuser Boston, 2006)