Baker, K. A. & Wille, R., ed. (1995), Lattice theory and its applications , Heldermann--Verlag , Berlin .