Семко, В. В. A Formal Description of the Search Space in the Synthesis Decisions. PIC 2013, 2, 104-111.