TY  - BOOK
AU  - Tennent, R.D. 
TI  - Specifying software : : a hands-on introduction
SN  - 0521808146
AV  - QA76.6.T4416 2001 
PY  - 2001///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computer programming
KW  -  Computer software,
KW  - Specifications
N1  - Includes bibliographical references and index
ER  -