TY  - BOOK
ED  - Open University
TI  - Formal Specification II
SN  - 749220058
PY  - 1990///
CY  - Milton Keynes
PB  - The Open University
ER  -