Lambda-isčislenie : EGO SINTAKSIS I SEMANTIKA - Barendregt, H.P (Mir - Moskva, 1985)