The Syntax and Semantics of Entailment in Duality Theory. - Brian A. Davey; Miroslav Haviar; Hilary A. Priestley (J. Symb. Log., 1995)

Applications of Priestley duality in transferring optimal dualities. - Brian A. Davey; Miroslav Haviar (Stud Logica, 2004)

Boolean Topological Distributive Lattices and Canonical Extensions. - Brian A. Davey; Miroslav Haviar; Hilary A. Priestley (Appl. Categorical Struct., 2007)

Natural Dualities in Partnership. - Brian A. Davey; Miroslav Haviar; Hilary A. Priestley (Appl. Categorical Struct., 2012)

A Fresh Perspective on Canonical Extensions for Bounded Lattices. - A. P. K. Craig; Miroslav Haviar; Hilary A. Priestley (Appl. Categorical Struct., 2013)

Bohr Compactifications of Algebras and Structures. - Brian A. Davey; Miroslav Haviar; Hilary A. Priestley (Appl. Categorical Struct., 2017)