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