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