TY  - BOOK
AU  - Jones, C. B.
TI  -  Systematic software development using VDM
SN  - 0138807256 :
U1  - 005.1  20
PY  - 1986///
CY  - Englewood Cliffs, N.J.
PB  - Prentice Hall International
KW  - Computer software
KW  -  Development
N1  - Includes index; Bibliography: p. 294-296
ER  -