Поздняков, С.; Степулёнок, Д. РАЗБОР ЗАДАЧИ "АВТОМАТ ДЛЯ ГОЛОСОВАНИЯ". CTE 2014.