Lambda - isčislenije : Jego sintaks i sematika - Barendreot, H.P (Mir, 1985)