TY  - BOOK
AU  -     Mitchell, Richard, ;
TI  - Design by contract, by example
SN  - 9780201634600
U1  - 005.117 MIT 
PY  - 2002///
CY  - Boston, MA
PB  -  : Addison Wesley, 
KW  -  Object-oriented programming (Computer science)
KW  - Computer-aided design.
KW  - Design by contract, by example
KW  - computer science
KW  - Richard Mitchell
ER  -