Combinatory Logic.Vol.1.Curry Haskell B.,Feys Robert:Combinatory Logic.,Vol.2.Curry Haskell B.,Hindley J.Rog er,Seledin. 

 - Amsterdam :  North-Holland,  1968.