TY  - BOOK
AU  - MacQueen D B
ED  - International Symposium on the Semantics of Data Types( 1984 : France )
ED  - International Symposium on the Semantics of Data Types
TI  - Semantics of data types : proceedings
SN  - 3-540-13346-1
U1  - 5.13 
PY  - 1984///
CY  - Berlin
PB  - Springer Verlag
KW  - Programming languages
KW  - Semantics
ER  -