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