Семко, В.В. 2013. A formal description of the search space in the synthesis decisions. Problems of Informatization and Control. 2, 42 (Jun. 2013), 104–111. DOI:https://doi.org/10.18372/2073-4751.2.6479.