Davis, Ruth E. <br/><br/>
Generating correct programs from logic specifications   
by Ruth E. Davis. 
 - Santa Cruz  University of California  1979 
 - 193p. 
<br/><br/><label>Dewey Class. No.: </label>001.6424  / N7915