CPOs as Concrete Domains: Lattices of Abstract Domains and Complements.

Francesco Ranzato CPOs as Concrete Domains: Lattices of Abstract Domains and Complements. 183-196 1999 conf/agp/1999 APPIA-GULP-PRODE db/conf/agp/agp1999.html#Ranzato99