Gunter, Carl A., et al. “Semantic Domains and Denotational Semantics”. DAIMI Report Series, vol. 18, no. 276, Apr. 1989, doi:10.7146/dpb.v18i276.7630.