TY  - BOOK
AU  - Gehani,Narain
AU  - McGettrick,Andrew D.
TI  - Software Specification Techniques
SN  - 0201142309
U1  - 001.6425 SOF 
PY  - 1986///
CY  - Wokingham
PB  - Addison-Wesley
KW  - Computer programs
KW  - Specifications
KW  - Addresses, essays, lectures
ER  -