TY  - BOOK
AU  - "Charatan, Quentin"
TI  - Formal Software Development
SN  - 333992814
CY  - Macmillan 
N1  - includes index and biblioraphy
ER  -