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