A Multi-level Approach to Program Synthesis. - Wolfgang Bibel; Daniel S. Korn; Christoph Kreitz; F. Kurucz; Jens Otten; Stephen Schmitt; G. Stolpmann (LOPSTR, 1997)