G Birkhoff 1933 representation-theorem distributive-lattice; modern modern domain-theory Scott 1972 + powerdomain semantics.