TY  - BOOK
AU  - Holyer,Ian
TI  - Functional programming with Miranda
PY  - 1991///
CY  - London
PB  - UCL Press
KW  - Miranda
KW  - Programming language
KW  - Miranda (Computer Programs)
ER  -