Chris Hankin Sebastian Hunt Approximate Fixed Points in Abstract Interpretation. 283-306 1994 22 Sci. Comput. Program. 3 db/journals/scp/scp22.html#HankinH94