TY  - BOOK
AU  - Cooke John
TI  - Constructing correct software: the basics
SN  - 3-540-76156-X
U1  - 005.140151 
PY  - 1998///
CY  - London
PB  - Springer-Verlag
KW  - Computer software
KW  - Computer software-development
ER  -