Lucena, Carlos José Pereira de  1943- <br/><br/>
On the synthesis of reliable programs/ 
by Carlos José Pereira de Lucena. 
 -  1975. 
 - xiii, 228 leaves:  ill.;  28 cm. 
 - Computer languages group .
<br/><br/> Includes vita and abstract.  Photocopy available from Xerox University Microfilms. 
<br/><br/>Thesis (Ph. D.)--UCLA--Computer Science. 
<br/><br/>Bibliography: leaves 206-211. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs---Reliability.
<br/><br/><label>Dewey Class. No.: </label>005  / L935o