Birkhoff, G. (1967). Lattice theory. In Colloquium Publications , Vol. 25 . American Mathematical Society .