@article{Fortune:1983:ESS:322358.322370,
    Address = {New York, NY, USA},
    Author = {Fortune, Steven and Leivant, Daniel and O'Donnell, Michael},
    ISSN = {0004-5411},
    Journal = {J. ACM},
    Month = {January},
    Number = {1},
    Pages = {151--185},
    Publisher = {ACM},
    Title = {The Expressiveness of Simple and Second-Order Type Structures},
    URL = {http://doi.acm.org/10.1145/322358.322370},
    Volume = {30},
    Year = {1983},
    acmid = {322370},
    bdsk-url-1 = {http://doi.acm.org/10.1145/322358.322370},
    bdsk-url-2 = {http://dx.doi.org/10.1145/322358.322370},
    date-added = {2014-02-05 09:26:21 +0000},
    date-modified = {2014-02-05 09:26:21 +0000},
    issue_date = {Jan. 1983},
    numpages = {35},
    doi = {10.1145/322358.322370}
}

@article{Fortune:1983:ESS:322358.322370, Address = {New York, NY, USA}, Author = {Fortune, Steven and Leivant, Daniel and O'Donnell, Michael}, ISSN = {0004-5411}, Journal = {J. ACM}, Month = {January}, Number = {1}, Pages = {151--185}, Publisher = {ACM}, Title = {The Expressiveness of Simple and Second-Order Type Structures}, URL = {http://doi.acm.org/10.1145/322358.322370}, Volume = {30}, Year = {1983}, acmid = {322370}, bdsk-url-1 = {http://doi.acm.org/10.1145/322358.322370}, bdsk-url-2 = {http://dx.doi.org/10.1145/322358.322370}, date-added = {2014-02-05 09:26:21 +0000}, date-modified = {2014-02-05 09:26:21 +0000}, issue_date = {Jan. 1983}, numpages = {35}, doi = {10.1145/322358.322370} }