TY  - BOOK
AU  - Sannella D Ed.
AU  -  Tarlecki A Ed.
ED  - Workshop on recent trends in data type specification (1987 : Gullance Scotland)
TI  - Recent trends in data type specification
T2  - Lecture notes in computer science; 332
U1  - D65,8(B):(B2), M8 
PY  - 1988///
CY  - Berlin
PB  - Springer-Ver;ag       
KW  - Mathematical computer science
ER  -