Kosy, Donald W. <br/><br/>
Approaches to improved program validation through programming language design / 
Donald W. Kosy 
 - California :  Rand Corporation,  1972 
 - 25 pages ;  28 cm. 
 - The Rand paper series ;  p. 4865 .
 - Rand paper series ;  p. 4865 .
<br/><br/>Includes bibliographical references.