LAMBDA-ISČISLENIJE. JEGO SINTAKSIS I SEMANTIKA - Barendregt, H. P. (Mir, 1985)