TY  - BOOK
AU  - HINDLEY(J Roger) & SELDIN(J P)
TI  - Introduction to combinators and lambda calculus
CY  - Cambridge
ER  -