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