TY  - BOOK
AU  - Charatan,Quentin
TI  - Formal Software Development
U1  - 005.1 C469F 
PY  - 2004///
CY  - China
PB  - Palgrava
KW  - Data programming
ER  -