TY  - BOOK
AU  - Charatan, Quentin
AU  - Kans, Aaron
TI  - Formal software development: from VDM to Java
SN  - 333992814
U1  - 005.133 
PY  - 2004///
CY  - New York
PB  - Palgrave Macmillan
KW  - Programming language; Electronic data processing
KW  - Software development
ER  -