2014. Принадлежность классу FP дважды полиномиальных паскалевидных функций над подпрограммами из FP. Компьютерные инструменты в образовании. 3 (янв. 2014).