@Book{CF58,
    Author       = "Curry, H.B. and Feys, R.",
    Year         = "1958",
    Title        = "{Combinatory Logic I}",
    Publisher    = "North Holland, Amsterdam",
    Comment      = "TPTPRef"
}