Lattice theory - Donnellan Thomas (1968)