TY  - BOOK
TI  - Software specification techniques / edited by Narain Gehani, Andrew McGettrick
SN  - 0201142309
PB  - Workingham, England ; Reading, Mass. : Addison-Wesley, c1986.
KW  - Computer software --Specifications
ER  -