DE-MORGAN ALGEBRAS ARE UNIVERSAL - Adams, M; Priestley, H (1987)