TY  - BOOK
AU  - Jones Cliff B
TI  - Systematic software development using VDM
T2  - Prentice Hall International Series in Computer Science
U1  - D65,8(B)92, M6 
PY  - 1986///
KW  - Computer science
N1  - Bibliography 294-296p
ER  -