General lattice theory - Grätzer, George (Birkhäuser, 1998)