Dana S. Scott Domains for Denotational Semantics. 577-613 1982 conf/icalp/1982 ICALP db/conf/icalp/icalp82.html#Scott82 http://dx.doi.org/10.1007/BFb0012801