TY  - BOOK
AU  - Tennent, R D
TI  - Specifying software : a hands on introduction
SN  - 9780521004015
CY  - New Delhi
KW  - Computer programming
KW  - Computer software -- Specifications
KW  - Software engineering
N1  - Includes bibliographical references and index
ER  -