TY  - BOOK
AU  - Jones,C.B.
TI  - Systematic software development using VDM
SN  - 0138807175 (pbk.)
PY  - 1986///
CY  - Englewood Cliffs, N.J.
PB  - Prentice Hall International
KW  - Computer software
KW  - Development
N1  - Includes index; Includes bibliographical references
ER  -