TY  - BOOK
AU  - Tennent, R. D
TI  - Specifying Software : A Hands-on Introduction 
SN  - 0521004012
AV  - QA76.6   .T4416 2002
PY  - 2002///
CY  - United Kingdom 
PB  - Cambridge University Press
KW  - Computer Programing, Computer Software-Specifications
N1  - index includes
ER  -