Software specification techniques / 
[edited by] Narain Gehani, Andrew McGettrick. 
 - Workingham, Eng. :  Addison-Wesley,  1985. 
 - xii, 477 p. :  ill. 
<br/><br/><label>ISBN: </label>0201142309 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Specifications.