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

 - New Jersey  Prentice-Hall 
 - ix,501 
<br/><br/><label>ISBN: </label>0133290034 
<br/><br/><label>Dewey Class. No.: </label>004.414.38 BJO