TY  - BOOK
AU  - Huet, G
TI  - Logical foundations of functional programming
N1  - D6,8(B) N03
ER  -