@Book{CHS72,
    Author       = "Curry, H.B. and Hindley, J.R. and Seldin, J.P.",
    Year         = "1972",
    Title        = "{Combinatory Logic II}",
    Publisher    = "North Holland, Amsterdam",
    Comment      = "TPTPRef"
}