TY  - BOOK
AU  - Tennent, R. D
TI  - Specifying software : a hands-on introduction
SN  - 9780521808149
U1  - 005.1 TEN 
PY  - 2002///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computer programming
KW  - Computer software - Specifications
N1  - Includes bibliographical references and index
ER  -