Computer program synthesis methodologies  proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 
edited by Alan W. Biermann and Gerard Guiho 
 - Dordrecht  D. Reidel Publishing Company  1983 
 - ix, 374p. ill. 24cm 
 - NATO advanced study institutes series. Series C, Mathematical and physical sciences  v.95 .
<br/><br/> 'Published in cooperation with NATO Scientific Affairs Division.' 
<br/><br/>Includes indexes 
<br/><br/><label>LCCN: </label>82-16704 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming--Congresses