TY  - BOOK
AU  - Tennent, R.D.
TI  - Specifying software: a hands - on introduction
SN  - 9780521004015
PY  - 2002///
CY  - New York
PB  - Cambridge university press
ER  -