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