Distributivity of the normal completion, and its Priestley representation - Ball, Richard N. (ITI Series ;, 2011)