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