Lambda-isčislenije. Jivo sintaksis i semantika - Barendreot, H.P (Mir, 1985)