@incollection{Berry:78,
    Author = {Berry, G{\'e}rard},
    BookTitle = {Automata, Languages and Programming},
    Editor = {Ausiello, Giorgio and B{\"o}hm, Corrado},
    File = {Stable models of typed {$\lambda$}-calculi - Berry (0) (0) - a - a - y.pdf},
    ISBN = {978-3-540-08860-8},
    Keywords = {simply-typed lambda calculus},
    Pages = {72-89},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Stable models of typed {$\lambda$}-calculi},
    URL = {http://dx.doi.org/10.1007/3-540-08860-1\_7},
    Volume = {62},
    Year = {1978},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-08860-1\_7},
    date-added = {2013-04-03 16:13:07 +0000},
    date-modified = {2013-04-03 16:18:35 +0000},
    doi = {10.1007/3-540-08860-1_7}
}

@incollection{Berry:78, Author = {Berry, G{\'e}rard}, BookTitle = {Automata, Languages and Programming}, Editor = {Ausiello, Giorgio and B{\"o}hm, Corrado}, File = {Stable models of typed {$\lambda$}-calculi - Berry (0) (0) - a - a - y.pdf}, ISBN = {978-3-540-08860-8}, Keywords = {simply-typed lambda calculus}, Pages = {72-89}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Stable models of typed {$\lambda$}-calculi}, URL = {http://dx.doi.org/10.1007/3-540-08860-1_7}, Volume = {62}, Year = {1978}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-08860-1_7}, date-added = {2013-04-03 16:13:07 +0000}, date-modified = {2013-04-03 16:18:35 +0000}, doi = {10.1007/3-540-08860-1_7} }