Jipsen, P., Rose, H. (1992). Varieties of Lattices. Springer-Verlag.