David A. Schmidt Abstract Interpretation From a Denotational-semantics Perspective. 19-37 2009 conf/mfps/2009 MFPS https://doi.org/10.1016/j.entcs.2009.07.082 db/journals/entcs/entcs249.html#Schmidt09