Automatic program construction techniques - Biermann, Alan W.; Guiho, Gerad & Kodratoff, Yves (Macmillan publishing company, New York, 1984)