@inproceedings{
    koop07:GenLambda_HB60,
    author      = {Koopman, Pieter and Plasmeijer, Rinus},
    title       = {{S}ystematic {S}ynthesis of $\lambda$-{T}erms},
    booktitle   = {{R}eflections on {T}ype {T}heory, $\lambda$-{C}alculus, and the {M}ind -- {E}ssays dedicated to {H}enk {B}arendregt on the occasion of his 60th birthday},
    editor      = {Barendsen, Erik and Capretta, Venanzio and Geuvers, Herman and Niqui, Milad},
    address     = {{N}ijmegen, {T}he {N}etherlands},
    year        = 2007,
    month       = {Dec 17},
    publisher   = {University of Nijmegen},
    isbn        = "978-90-9022446-6",
    pages       = {211-222}
}