TY  - BOOK
AU  - Jones, Cliff B.
TI  - Systematic software development using VDM
SN  - 0-13-880733-7
AV  - COMP QA76.76.D47J66 
PB  - Prentice-Hall International (UK)
KW  - Computer systems
ER  -