TY  - BOOK
AU  - Baber,Robert Laurence
TI  - The spine of software: designing provably correct software 
SN  - 0471914746
PY  - 1987///
CY  - Chichester
PB  - John Wiley & Sons
KW  - Computer software
KW  - Development
KW  - Electronic digital computers
KW  - Programming
N1  - Bibliography: p.302-305
ER  -