HINDLEY(J Roger) & SELDIN(J P) <br/><br/>
Introduction to combinators and lambda calculus 

 - Cambridge  Cambridge University Press  1986 
 - 360 p. 
 - London Mathematical Society Student Text .