On sets, lattices and groups with Boolean metrization
Stone's topologisation of the distributive lattice
Studies in lattices