TY  - BOOK
ED  - Open University, U.K.
TI  - Specifying Programming languages
SN  - 749247975
PY  - 1994///
CY  - Milton Keynes
PB  - The Open University
ER  -