TY  - BOOK
A2  - Robert Harper.
AU  - Harper, Robert
NV  - XVIII, 471 s. ;
PY  - 2013
SN  - 9781107029576
TI  - Practical foundations for programming languages /
ER  -