Introduction to lattices and order. - Davey B A; Priestley H A (1990)