TY  - BOOK
TI  - Specifying programming languages
SN  - 033514182X
PY  - 1986///
CY  - Milton Keynes
PB  - Open University
ER  -