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