Семко, В. В. “A Formal Description of the Search Space in the Synthesis Decisions”. Problems of Informatization and Control, vol. 2, no. 42, June 2013, pp. 104-11, doi:10.18372/2073-4751.2.6479.