Gunter, C. A.; Mosses, P. D.; Scott, D. S. Semantic Domains and Denotational Semantics. DPB 1989, 18.