Yeh, Raymond T <br/><br/>
Current trends in programming methodology, v ii: program validation 

 - NEW JERSEY  PRENTICE HALL,INC  1977 
 - 317 p p. 
<br/><br/><label>Subjects--Index Terms: </label>MATHEMATICS