TY  - BOOK
AU  - Greg Michaelson
TI  - An introduction to functional programming through Lambda calculus
SN  - 9780486478838
U1  - 005.11 
PY  - 2011///1
CY  - New York
PB  - Dover Publications 
ER  -