TY  - BOOK
AU  - JOHN COOKE
TI  - CONSTRUCTING CORRECT SOFTWARE
SN  - 354067156X
U1  - 005.140151  (MCA) 
PB  - SPRINGER INC
KW  - COMPUTER SCIENCE
ER  -