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 -