TY  - BOOK
AU  - Gehani, N.
TI  - Software specification techniques edited by N. Gehani & A.D. McGettrick / 
SN  - 0-201-14230-9
U1  - BV288 
PY  - 1991///
CY  - Massachusetts : 
PB  -   , 
KW  - Computer
ER  -