@incollection{HenkinHunt:1991,
    Author = {Hankin, Chris and Hunt, Sebastian},
    BookTitle = {ESOP '92},
    Editor = {Krieg-Br{\"u}ckner, Bernd},
    ISBN = {978-3-540-55253-6},
    Pages = {219-232},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Approximate fixed points in abstract interpretation},
    URL = {http://dx.doi.org/10.1007/3-540-55253-7\_13},
    Volume = {582},
    Year = {1992},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-55253-7\_13},
    date-added = {2014-03-12 08:50:28 +0000},
    date-modified = {2014-03-12 08:50:28 +0000},
    doi = {10.1007/3-540-55253-7_13}
}

@incollection{HenkinHunt:1991, Author = {Hankin, Chris and Hunt, Sebastian}, BookTitle = {ESOP '92}, Editor = {Krieg-Br{\"u}ckner, Bernd}, ISBN = {978-3-540-55253-6}, Pages = {219-232}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Approximate fixed points in abstract interpretation}, URL = {http://dx.doi.org/10.1007/3-540-55253-7_13}, Volume = {582}, Year = {1992}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-55253-7_13}, date-added = {2014-03-12 08:50:28 +0000}, date-modified = {2014-03-12 08:50:28 +0000}, doi = {10.1007/3-540-55253-7_13} }