TY  - BOOK
AU  - Tennent,R.D.
TI  - Specifying software: a hands-on introduction 
PY  - 2002///
PB  - R. D. Tennent
KW  - Computer programming
KW  - Computer software
KW  - Specifications
N1  - Includes bibliographical references; Open access
ER  -