TY  - BOOK
AU  - Kahn G Ed.
AU  -  Macqueen D B Ed.
AU  -  Plotkin G Ed.
ED  - International symposium on semantics of data types (1984 : Sophia-Antipolis France)
TI  - Proceedings on semantics of data types
T2  - Lecture notes in computer science; 173
U1  - D65,8(B)92:(P:4)p1,N84, M4 
PY  - 1984///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer programming
ER  -