Abstract Interpretation of Denotational Definions (A Survey).

Flemming Nielson Abstract Interpretation of Denotational Definions (A Survey). 1-20 1986 conf/stacs/1986 STACS db/conf/stacs/stacs86.html#Nielson86 http://dx.doi.org/10.1007/3-540-16078-7_61