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