Gunter, Mosses, Scott, 1989. Semantic Domains and Denotational Semantics 18.. https://doi.org/10.7146/dpb.v18i276.7630