أرسل هذا في رسالة قصيرة: Алгоритм синтеза программ с явной и неявной рекурсией; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика