@incollection{Hankin:1987,
    Author = {Martin, Chris and Hankin, Chris},
    BookTitle = {Functional Programming Languages and Computer Architecture},
    Editor = {Kahn, Gilles},
    ISBN = {978-3-540-18317-4},
    Pages = {426-445},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Finding fixed points in finite lattices},
    URL = {http://dx.doi.org/10.1007/3-540-18317-5\_23},
    Volume = {274},
    Year = {1987},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-18317-5\_23},
    date-added = {2014-03-07 10:10:25 +0000},
    date-modified = {2014-03-07 10:10:25 +0000},
    doi = {10.1007/3-540-18317-5_23}
}

@incollection{Hankin:1987, Author = {Martin, Chris and Hankin, Chris}, BookTitle = {Functional Programming Languages and Computer Architecture}, Editor = {Kahn, Gilles}, ISBN = {978-3-540-18317-4}, Pages = {426-445}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Finding fixed points in finite lattices}, URL = {http://dx.doi.org/10.1007/3-540-18317-5_23}, Volume = {274}, Year = {1987}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-18317-5_23}, date-added = {2014-03-07 10:10:25 +0000}, date-modified = {2014-03-07 10:10:25 +0000}, doi = {10.1007/3-540-18317-5_23} }