Software Specification Techniques. 
[edited by] Narain Gehani, Andrew McGettrick 
 - Wokingham:  Addison-Wesley,  1986 
 - (477) pages :  illustration;  25cm 
<br/><br/><label>ISBN: </label>0201142309 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs--Specifications--Addresses, essays, lectures
<br/><br/><label>Dewey Class. No.: </label>001.6425 SOF