@article{Gasser:1997:SRC:258949.258954,
    Address = {New York, NY, USA},
    Author = {Gasser, Kirsten L. Solberg and Nielson, Flemming and Nielson, Hanne Riis},
    File = {Systematic realisation of control flow analyses for CML - Gasser, Nielson, Nielson (0) (0) - a - a - s.pdf},
    ISSN = {0362-1340},
    Journal = {SIGPLAN Not.},
    Keywords = {control-flow analysis},
    Month = {August},
    Number = {8},
    Pages = {38--51},
    Publisher = {ACM},
    Title = {Systematic realisation of control flow analyses for CML},
    URL = {http://doi.acm.org/10.1145/258949.258954},
    Volume = {32},
    Year = {1997},
    acmid = {258954},
    bdsk-url-1 = {http://doi.acm.org/10.1145/258949.258954},
    bdsk-url-2 = {http://dx.doi.org/10.1145/258949.258954},
    date-added = {2013-09-06 09:29:19 +0000},
    date-modified = {2013-09-06 09:29:25 +0000},
    issue_date = {Aug. 1997},
    numpages = {14},
    doi = {10.1145/258949.258954}
}

@article{Gasser:1997:SRC:258949.258954, Address = {New York, NY, USA}, Author = {Gasser, Kirsten L. Solberg and Nielson, Flemming and Nielson, Hanne Riis}, File = {Systematic realisation of control flow analyses for CML - Gasser, Nielson, Nielson (0) (0) - a - a - s.pdf}, ISSN = {0362-1340}, Journal = {SIGPLAN Not.}, Keywords = {control-flow analysis}, Month = {August}, Number = {8}, Pages = {38--51}, Publisher = {ACM}, Title = {Systematic realisation of control flow analyses for CML}, URL = {http://doi.acm.org/10.1145/258949.258954}, Volume = {32}, Year = {1997}, acmid = {258954}, bdsk-url-1 = {http://doi.acm.org/10.1145/258949.258954}, bdsk-url-2 = {http://dx.doi.org/10.1145/258949.258954}, date-added = {2013-09-06 09:29:19 +0000}, date-modified = {2013-09-06 09:29:25 +0000}, issue_date = {Aug. 1997}, numpages = {14}, doi = {10.1145/258949.258954} }