Computer program synthesis methodologies : proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 - Biermann, Alan W., 1939-; Guiho, Gérard, 1945- (NATO advanced study institutes series. Mathematical and physical sciences ;, 1983)