Программные системы : Теорет. основы и прил. : [Сб. ст.]