@Book{Bar81,
    Author       = "Barendregt, H.P.",
    Year         = "1981",
    Title        = "{The Lambda Calculus: Its Syntax and Semantics}",
    Publisher    = "North-Holland",
    Comment      = "TPTPRef"
}