Alagar,V.S. <br/><br/>
Specification of software system 
V.S. Alagar 
 - New York  Springer  1998 
 - xx, 422 
 - Graduate texts in computer science .
<br/><br/><label>ISBN: </label>387984305  DM 119.00