Varieties of distributive lattices with unary operations .1. - Priestley, H (1997)