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