Flemming Nielson Strictness Analysis and Denotational Abstract Interpretation. 120-131 1987 POPL db/conf/popl/popl87.html#Nielson87