Lambdaisčislenie : ego sintaksis i sementika - Barendregt, H. P. (Mir, 1985)