Hindley, J. Roger  <br/><br/>
Introduction to Combinators and λ-Calculus 
/ by J. Roger Hindley 
 - new york  Cambridge University Press  1990 
 - 360p.