Natural dualities for varieties of distributive lattices with a quantifier H. Priestley (1993) Banach Center Publications