@incollection{kobayashi13,
    Author = {Kobayashi, Naoki and Igarashi, Atsushi},
    BookTitle = {Programming Languages and Systems},
    Editor = {Felleisen, Matthias and Gardner, Philippa},
    File = {Model-Checking Higher-Order Programs with Recursive Types - Kobayashi, Igarashi (0) (0) - a - a - b.pdf},
    ISBN = {978-3-642-37035-9},
    Keywords = {higher-order recursion schemes},
    Pages = {431-450},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Model-Checking Higher-Order Programs with Recursive Types},
    URL = {http://dx.doi.org/10.1007/978-3-642-37036-6\_24},
    Volume = {7792},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-37036-6\_24},
    date-added = {2013-04-16 15:28:14 +0000},
    date-modified = {2013-04-16 15:31:23 +0000},
    doi = {10.1007/978-3-642-37036-6_24}
}

@incollection{kobayashi13, Author = {Kobayashi, Naoki and Igarashi, Atsushi}, BookTitle = {Programming Languages and Systems}, Editor = {Felleisen, Matthias and Gardner, Philippa}, File = {Model-Checking Higher-Order Programs with Recursive Types - Kobayashi, Igarashi (0) (0) - a - a - b.pdf}, ISBN = {978-3-642-37035-9}, Keywords = {higher-order recursion schemes}, Pages = {431-450}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Model-Checking Higher-Order Programs with Recursive Types}, URL = {http://dx.doi.org/10.1007/978-3-642-37036-6_24}, Volume = {7792}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-37036-6_24}, date-added = {2013-04-16 15:28:14 +0000}, date-modified = {2013-04-16 15:31:23 +0000}, doi = {10.1007/978-3-642-37036-6_24} }