Introduction to Combinators and (1986)

by J Roger Hindley, Jonathan P Seldin
Venue:of London Mathematical Society Student Texts. Cambridge University