Bjorner, D <br/><br/>
Software engineering 1:  abstraction and modelling / 
D Bjorner 
 - New Delhi:  Springer  2007 
 - xxxix, 711p.; 
<br/><br/><label>ISBN: </label>9 788181 287847 
<br/><br/><label>Dewey Class. No.: </label>004.41  / BJO