2014. Алгоритмы Маркова-Турчина и доказательства полиномиальной эффективности программ на языке рефал-5. Компьютерные инструменты в образовании. 4 (янв. 2014).