Mihhail Matskin Enn Tyugu Strategies of Structural Synthesis of Programs and its Extensions. 2001 20 Comput. Artif. Intell. 1 db/journals/cai/cai20.html#MatskinT01 http://www.cai.sk/ojs/index.php/cai/article/view/508 1-25
