Н. К. Косовский, “Алгоритмы Маркова-Турчина и доказательства полиномиальной эффективности программ на языке рефал-5”, CTE, no. 4, Jan. 2014.