TY  - BOOK
AU  - Jones,Cliff B.
TI  - Systematic software development using VDM
SN  - 0-13-880733-7 
AV  - QA 76.76 .J66 1990
PY  - 1990///
CY  - New York
PB  - Prentice Hall
KW  - Computer software
KW  - Development
KW  - Data type
KW  - Map notation
N1  - Includes bibliographical references (p. 321-322) and indexes
ER  -