Introduction to lattices and order - Davey, B A; Priestley, H A (2009)