TY  - BOOK
AU  - Gehani,N.
TI  - Software specification techniques
SN  - 0201142309
U1  - 004.415.28 GEH 
CY  - Newyork
PB  - Addison-Wesley
ER  -