TY  - BOOK
AU  - Baber,Robert Laurence
TI  - Error-free software: know-how and know-why of program correctnes 
SN  - 0471930164
PY  - 1991///
CY  - Chichester
PB  - John Wiley & Sons
KW  - Computer software
KW  - Reliability
KW  - Development
ER  -