Automatic program construction techniques - Biermann, Alan W. (Macmillan [u.a.], 1984)