TY  - BOOK
AU  - Tennent, R. D
TI  - Specifying software: A hands-on introduction
SN  - 9780521004015
CY  - New york
KW  - Computer programming
KW  - Computer software-specifications
ER  -