Text this: Эффективный алгоритм синтеза программ с условиями и подпрограммами; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика