Berg , H.K. . <br/><br/>
FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION /  

 - 19820000 /  
 - New Jersey  :   Prentice-Hall . 
 - xiv,207 :  
<br/><br/><label>ISBN: </label>0-13-328807-2  
<br/><br/><label>Dewey Class. No.: </label>Bv   / M2