TY  - BOOK
AU  - Tennent, R.D.,
TI  - Specifying Software: A Hands-on Intoduction
SN  - 0521004012
U1  - 005.1 
PY  - 2002///
CY  - U.K.
PB  - Cambridge University Press.
N1  - This book also having appendix from 257-285
ER  -