Matskin, M. and Tyugu, E. 2012. STRATEGIES OF STRUCTURAL SYNTHESIS OF PROGRAMS AND ITS EXTENSIONS. Computing and Informatics. 20, 1 (Feb. 2012), 1–25.