TY  - BOOK
AU  - Tennet,R.D..
TI  - Specifying software: a hands-on introduction 
SN  - 0521808146
AV  - QA76.6  .T46 2002
PY  - 2002///]
CY  - Cambridge U.K.
PB  - Cambridge University Press
KW  - Computer programming
KW  - Computer software
KW  - Specifications
ER  -