Bjorner, D <br/><br/>
Software engineering 2:  specification of systems and languages / 
D Bjorner 
 - New Delhi:  Springer  2007 
 - xxiv, 777p.; 
<br/><br/><label>ISBN: </label>9 788181 287854 
<br/><br/><label>Dewey Class. No.: </label>004.41  / BJO