Lattice theory : foundation - Gratzer, George (Springer, 2011)