Bjorner, Diner <br/><br/>
Formal specification and software development 

 - New Jersy  Prentice-hall international  1982 
 - x,501p. 
 - Printice-Hall International series in computer science .
<br/><br/><label>ISBN: </label>0133290034 
<br/><br/><label>Subjects--Index Terms: </label>Microprogramming  Computer science  Computer system 
<br/><br/><label>Universal Decimal Class. No.: </label>004.414.38  / BJO