TY  - BOOK
AU  - Jones,Mark P.
TI  - Qualified types: theory and practice 
SN  - 0521472539
PY  - 1994///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Abstract data types (computer science)
N1  - Includes bibliographical references (p. 148-154)
ER  -