Lambda-isčislenie : EGO SINTAKSIS I SEMANTIKA - Barendregt, H.P (Mir - Moskva, 1985)
Prijevod djela: THE LAMBDA CALCULUS : ITS SYNTAX AND SEMANTICS