@article{Kobayashi_2013,
    Author = {Kobayashi, Naoki},
    ISSN = {0004-5411},
    Journal = {Journal of the ACM},
    Month = {Jun},
    Number = {3},
    Pages = {1--62},
    Publisher = {Association for Computing Machinery (ACM)},
    Title = {Model Checking Higher-Order Programs},
    URL = {http://dx.doi.org/10.1145/2487241.2487246},
    Volume = {60},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1145/2487241.2487246},
    date-added = {2019-07-26 13:53:44 +0200},
    date-modified = {2019-07-26 13:53:44 +0200},
    doi = {10.1145/2487241.2487246}
}

@article{Kobayashi_2013, Author = {Kobayashi, Naoki}, ISSN = {0004-5411}, Journal = {Journal of the ACM}, Month = {Jun}, Number = {3}, Pages = {1--62}, Publisher = {Association for Computing Machinery (ACM)}, Title = {Model Checking Higher-Order Programs}, URL = {http://dx.doi.org/10.1145/2487241.2487246}, Volume = {60}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1145/2487241.2487246}, date-added = {2019-07-26 13:53:44 +0200}, date-modified = {2019-07-26 13:53:44 +0200}, doi = {10.1145/2487241.2487246} }