"Domain-Independent Automatic Programming."

Robert Balzer et al. (1974)
a service of Schloss Dagstuhl - Leibniz Center for Informatics