Lattice theory - Birkhoff, Garrett (1961)