TY  - BOOK
AU  - Charatan,Quentin
AU  - Kans,Aaron
TI  - Formal software development: from VDM to Java 
SN  - 0333992814 :
AV  - QA76.76 .D47C43
PY  - 2004///
CY  - Basingstoke, England
PB  - Palgrave Macmillan
KW  - Computer software
KW  - Development
ER  -