@article{Vardoulakis:2011:PFA:2034574.2034785,
    Address = {New York, NY, USA},
    Author = {Vardoulakis, Dimitrios and Shivers, Olin},
    File = {Pushdown flow analysis of first-class control - Vardoulakis, Shivers (0) (0) - a - a - o.pdf},
    ISSN = {0362-1340},
    Journal = {SIGPLAN Not.},
    Keywords = {control-flow analysis and readme},
    Month = {September},
    Number = {9},
    Pages = {69--80},
    Publisher = {ACM},
    Title = {Pushdown flow analysis of first-class control},
    URL = {http://doi.acm.org/10.1145/2034574.2034785},
    Volume = {46},
    Year = {2011},
    acmid = {2034785},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2034574.2034785},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2034574.2034785},
    date-added = {2013-07-01 15:14:31 +0000},
    date-modified = {2013-12-13 16:57:46 +0000},
    issue_date = {September 2011},
    numpages = {12},
    doi = {10.1145/2034574.2034785}
}

@article{Vardoulakis:2011:PFA:2034574.2034785, Address = {New York, NY, USA}, Author = {Vardoulakis, Dimitrios and Shivers, Olin}, File = {Pushdown flow analysis of first-class control - Vardoulakis, Shivers (0) (0) - a - a - o.pdf}, ISSN = {0362-1340}, Journal = {SIGPLAN Not.}, Keywords = {control-flow analysis and readme}, Month = {September}, Number = {9}, Pages = {69--80}, Publisher = {ACM}, Title = {Pushdown flow analysis of first-class control}, URL = {http://doi.acm.org/10.1145/2034574.2034785}, Volume = {46}, Year = {2011}, acmid = {2034785}, bdsk-url-1 = {http://doi.acm.org/10.1145/2034574.2034785}, bdsk-url-2 = {http://dx.doi.org/10.1145/2034574.2034785}, date-added = {2013-07-01 15:14:31 +0000}, date-modified = {2013-12-13 16:57:46 +0000}, issue_date = {September 2011}, numpages = {12}, doi = {10.1145/2034574.2034785} }