Gehani,Narain <br/><br/>
Software Specification Techniques 

 - Addison Wesley  1986 
 - 477p