Automatic program construction techniques - Biermann, Alan W. 1939- (Macmillan, 1984)