Алгоритмы Маркова-Турчина и доказательства полиномиальной эффективности программ на языке рефал-5. Computer Tools in Education [Internet]. 2014 Jan. 23 [cited 2026 Jul. 25];(4). Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1315