Natural dualities for varieties of distributive lattices with a quantifier H. Priestley (1993) Banach Center Publications
Notes on characterization of paracompact frames Aleš Pultr, Josef Úlehla (1989) Commentationes Mathematicae Universitatis Carolinae