TY  - BOOK
AU  - Hindley, J. Roger 
TI  - Introduction to Combinators and λ-Calculus
PY  - 1990///
CY  - new york
PB  - Cambridge University Press
ER  -