TY  - BOOK
AU  - Jones, Mark P.
TI  - Qualified Types : Theory and Practice
SN  - 0 521 47253 9
CY  - Cambridge
ER  -