Igarashi, Shigeru. <br/><br/>
Automatic program verification I  a logical basis and its implementation 
by Shigeru Igarashi, Ralph L. London and David C. Luckham 
 - Stanford  Stanford University  1973 
 - 53p. 
<br/><br/><label>Dewey Class. No.: </label>001.642  / N738