Sebastian Hunt Frontiers and Open Sets in Abstract Interpretation. 1-13 1989 FPCA http://doi.acm.org/10.1145/99370.99371 db/conf/fpca/fpca89.html#Hunt89