Wile, David S. <br/><br/>
Program development  formal explanations of implementations 
by David S. Wile 
 - California  USC/ISI  1982 
 - iv, 44p. 
<br/><br/><label>Dewey Class. No.: </label>001.6424  / N8213