General lattice theory - Gratzer George (1998)