TY  - BOOK
AU  - Harper Robert
AU  - Harper Robert
TI  - Practical foundations for programming language
SN  - 9781107029576 (hbk)
U1  - D65,8(B)92, Q3 TB 
PY  - 2013///
CY  - Cambridge
PB  - CUP       
KW  -  Programming language
KW  - Statistics
N1  - Appendix 455-456p.; Bibliography 457-464p.; Indix 465-471p
ER  -