General lattice theory - Gratzer, George A. (Academic Press,)