TY  - BOOK
AU  - Cooke,John
TI  - Constructing correct software: The basics 
U1  - 005.14 23
PY  - 1999///
CY  - London, New York
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Phát triển phần mềm
KW  - Phần mềm
KW  - Tin học
ER  -