Lattice Theory: Foundation - Gratzer, George (Birkhauser, 2011)