Michael R. Lowry Jeffrey Van Baalen META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. 199-241 1997 4 Autom. Softw. Eng. 2 db/journals/ase/ase4.html#LowryB97