Косовская, Т. and Косовский, Н. 2014. Принадлежность классу FP дважды полиномиальных паскалевидных функций над подпрограммами из FP. Computer Tools in Education. 3 (Jan. 2014).