TY  - BOOK
AU  - Michaelson, Greg
TI  - Introduction to functional programming through Lambda calculus
SN  - 0201178125
U1  - 001.6424 
PY  - 1989///
CY  - Wokingham, England
PB  - Addison-Wesley
KW  - Functional Programming (Computer Science)
KW  - Lambda Calculus
ER  -