КОСОВСКИЙ, Н. К. Доказательства принадлежности рефал-5 функций некоторым подклассам FP-SPACE. Компьютерные инструменты в образовании, n. 3, 23 янв. 2014.