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