Automatic program construction techniques - Biermann, Alan W., 1939-; Guiho, Gerard, 1945-; Kodratoff, Yves (Macmillan ; Collier Macmillan, 1984)