Lattice theory and its applications. Edited by Kirby A. Baker and Rudolf Wille. Berlin: Heldermann--Verlag, 1995.