TY  - BOOK
ED  - Open University, U.K.
TI  - Specifying and implementing data types
SN  - 749247894
PY  - 1994///
CY  - Milton Keynes
PB  - The Open University
ER  -