Т. Косовская and Н. Косовский, “Принадлежность классу FP дважды полиномиальных паскалевидных функций над подпрограммами из FP”, CTE, no. 3, Jan. 2014.