Garrett Birkhoff, Lattice Theory, AMS, third edition, 1973.