@inproceedings{Jones:1986:DFA:512644.512672,
    Address = {New York, NY, USA},
    Author = {Jones, Neil D. and Mycroft, Alan},
    BookTitle = {Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
    File = {p296-jones (0) - a - a - b.pdf},
    Keywords = {minimal function graphs},
    Location = {St. Petersburg Beach, Florida},
    Pages = {296--306},
    Publisher = {ACM},
    Series = {POPL '86},
    Title = {Data flow analysis of applicative programs using minimal function graphs},
    URL = {http://doi.acm.org/10.1145/512644.512672},
    Year = {1986},
    acmid = {512672},
    bdsk-url-1 = {http://doi.acm.org/10.1145/512644.512672},
    bdsk-url-2 = {http://dx.doi.org/10.1145/512644.512672},
    date-added = {2013-11-08 12:29:09 +0000},
    date-modified = {2017-04-11 12:45:06 +0000},
    numpages = {11},
    doi = {10.1145/512644.512672}
}

@inproceedings{Jones:1986:DFA:512644.512672, Address = {New York, NY, USA}, Author = {Jones, Neil D. and Mycroft, Alan}, BookTitle = {Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages}, File = {p296-jones (0) - a - a - b.pdf}, Keywords = {minimal function graphs}, Location = {St. Petersburg Beach, Florida}, Pages = {296--306}, Publisher = {ACM}, Series = {POPL '86}, Title = {Data flow analysis of applicative programs using minimal function graphs}, URL = {http://doi.acm.org/10.1145/512644.512672}, Year = {1986}, acmid = {512672}, bdsk-url-1 = {http://doi.acm.org/10.1145/512644.512672}, bdsk-url-2 = {http://dx.doi.org/10.1145/512644.512672}, date-added = {2013-11-08 12:29:09 +0000}, date-modified = {2017-04-11 12:45:06 +0000}, numpages = {11}, doi = {10.1145/512644.512672} }