Jipsen, Peter and Rose, Henry. Varieties of Lattices. : Springer-Verlag, 1992.