M. Matskin and E. Tyugu, “STRATEGIES OF STRUCTURAL SYNTHESIS OF PROGRAMS AND ITS EXTENSIONS”, Comput. Inform., vol. 20, no. 1, pp. 1–25, Feb. 2012.