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