Stone's topologisation of the distributive lattice
On lattices
Dually residuated lattice ordered semigroups