TY  - BOOK
AU  - Gehani,Narain
AU  - McGettrick,Andrew D.
TI  - Software specification techniques
SN  - 0201142309
PY  - 1985///
CY  - Workingham, Eng.
PB  - Addison-Wesley
KW  - Computer software
KW  - Specifications
ER  -