Bjorner, D <br/><br/>
Software engineering 3:  domains, requirements, and software design / 
D Bjorner 
 - New Delhi:  Springer  2006 
 - xxx, 766p.; 
<br/><br/><label>ISBN: </label>9 788181 287861 
<br/><br/><label>Dewey Class. No.: </label>004.41  / BJO